posted by system || 7232 views || tracked by 21 users: [display]

ICCAD 2012 : IEEE/ACM International Conference on Computer-Aided Design

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Computer Aided Design
 
Link: http://WWW.ICCAD.COM
 
When Nov 5, 2012 - Nov 9, 2012
Where San Jose, USA
Submission Deadline Apr 16, 2012
Categories    CAD
 

Call For Papers

Original technical submissions on, but not limited to, the following topics are invited:

1) SYNTHESIS, VERIFICATION AND PHYSICAL DESIGN

1.1 Logic and High-Level Synthesis:
Synthesis, technology mapping
Refinement techniques
Direct compilation and post-optimization
Micro-architectural transformations
Memory system synthesis

1.2 Simulation and Formal Verification:
Formal verification techniques
HW/SW co-simulation
Switch, logic, behavioral, and system-level simulation and validation
Protocol and interface design for correctness
Software verification
Emulation
Hybrid systems
Post-silicon validation (for functional design errors)

1.3 Partitioning, Placement and Floorplanning:
High-level physical design and synthesis
Estimation and hierarchy management
Partitioning, floor-planning and global placement
Detailed and incremental placement

1.4 Routing and Detailed Physical Design:
Detailed routing, including routing for yield, manufacturability, and timing
Post-placement layout optimization.

1.5 Optimization in Physical Design:
Optimization for area, timing, power, and yield
Interaction between physical design and logic synthesis

2) SYSTEM-LEVEL CAD
2.1 System Design:
System-level specification and modeling and simulation
System design flows and methods
Models of computation
HW/SW co-design, co-optimization, and co-exploration
HW/SW platforms
Rapid prototyping
System design case studies and applications

2.2 Embedded Systems Hardware:
Multi-core/multi-processors systems
On-chip communication and networks-on-chip
Static and dynamic reconfigurable architectures
Regular circuits, structured ASICs
Application-specific instruction-set processors (ASIPs)
Memory hierarchies and management
System-level issues for 3-D integration

2.3 Embedded Systems Software:
Real-time software and RTOS
Middleware
Timing analysis and WCET
Programming models for multi-core systems
Profiling and compilation techniques

2.4 Power and Thermal Considerations in System Design:
Power and thermal estimation, analysis, optimization, and management techniques for hardware and software systems

3) CAD FOR RELIABILITY, MANUFACTURABILITY, AND TEST
3.1 Design for Manufacturability:
CAD for the design/manufacturing interface, CAD support for OPC and RET, variability analysis, yield estimation
Manufacturable layout

3.2 Testing:
Fault modeling, delay test, analog and mixed signal test
Fault simulation
ATPG, BIST and DFT
Memory test and repair
Technology impact on test
Post-silicon validation and debug (for electrical, physical, and timing issues)

3.3 Design for Reliability:
Design techniques for achieving reliability, resilience and robustness from unreliable components
Analysis of thermal, reliability, aging, NBTI, electromigration, wearout, etc., effects in CMOS and mixed technologies and physical domains
Reliability issues in system design and 3-D integration

4) CAD FOR CIRCUITS, DEVICES, AND INTERCONNECT
4.1 Analog, Mixed-Signal, RF and Multi-Domain Simulation:
Numerical methods for analog, mixed-signal, RF, multi-domain (MEMS, nanoelectronic, optoelectronic, biological, etc.) network and system simulation
Nonlinear model reduction and computational macromodeling
Fast analysis of large-scale circuits and systems
Computer-aided analysis, design, and simulation of electronic and mixed-domain devices including semiconductor, nanoelectronic, micromechanical, and electro-optical devices
Compact device modeling and modeling of device variability

4.2 Analog, Mixed-Signal, RF and Multi-Domain Synthesis and Optimization:
Advances in low power, variation-aware, high speed design methodology and tools
Structural synthesis, sizing, design centering, symbolic and formal analysis, constraint management
Analog place and route
Synthesis and design methods for MEMS, electro-optical, and other mixed technology systems

4.3 Timing and Behavioral Modeling:
Gate-, switch-, and block-level modeling
Timing analysis and methodologies including statistical timing
Current-source modeling
Behavioral modeling of circuits and systems

4.4 Interconnect and Power Networks:
Network-level power/ground and package analysis and optimization
Reduced order modeling of interconnect and linear time invariant networks
Signal integrity analysis
Interconnect parameter extraction
Electromagnetic simulation and package analysis
EMC/EMI simulation techniques

5) CAD FOR NANOSCALE AND BIOLOGICAL SYSTEMS
5.1 Biological Systems:
Computer-aided analysis techniques for biologicalsystems-biomolecular, intracellular, cellular, organ and organism level
Analysis and design of synthetic biological systems. Multi-scale biological systems, systems biology

5.2 Nanoscale and Post-CMOS Systems:
Analysis, synthesis and design methods for novel devices (eg., quantum, molecular, spin-based) and systems centered about future nanotechnologies
Bio-electronic devices and systems

Related Resources

ICCAD 2020   4th IEEE-International Conference on Control, Automation and Diagnosis
AsiaCCS 2021   The 16th ACM ASIA Conference on Computer and Communications Security [First Round]
Scopus-D2ME 2020   5th International Conference on Design, Mechanical and Material Engineering (D2ME 2020)
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
SI-DAMLE 2020   Special Issue on Data Analytics and Machine Learning in Education
CAV 2020   Computer Aided Verification
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
OPODIS 2020   CONFERENCE ON PRINCIPLES OF DISTRIBUTED SYSTEMS
SIVP COVID-19   SIVP Special Issue on Computer Vision, Big Data and AI Research in Combating COVID-19
ICFSP--IEEE, Ei, Scopus 2021   IEEE--2021 6th International Conference on Frontiers of Signal Processing (ICFSP 2021)--Ei Compendex, Scopus