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

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


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.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
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.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
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.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
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.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.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

CAD/Graphics 2023   The 18th International Conference on Computer-Aided Design and Computer Graphics
ICCAD 2023   IEEE/ACM International Conference on Computer-Aided Design
FMCAD 2023   2023 Formal Methods in Computer-Aided Design (FMCAD)
ECCSIT 2023   2023 European Conference on Computer Science and Information Technology (ECCSIT 2023)
ICCAD 2023   2023 7th IEEE/IFAC International Conference on Control, Automation and Diagnosis
CAV 2023   Computer Aided Verification
CCVPR 2023   2023 6th International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2023)
IEEE/ACM ASONAM 2023   The 2023 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
IEEE ICCC 2023   IEEE--2023 9th International Conference on Computer and Communications (ICCC 2023)
EI-CFAIS 2023   2023 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2023)