posted by system || 9878 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

LAD 2024   LAD'24: International Workshop on LLM-Aided Design
ICCAD 2024   43rd International Conference on Computer-Aided Design
CAV 2024   36th International Conference on Computer Aided Verification
ICCAD 2024   2024 8th IEEE/IFAC International Conference on Control, Automation and Diagnosis
CCVPR 2024   2024 International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2024)
CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
ADMIT 2024   2024 3rd International Conference on Algorithms, Data Mining, and Information Technology (ADMIT 2024)
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
ISDEA 2024   2024 3rd International Conference on Intelligent Systems Design and Engineering Applications (ISDEA 2024)
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order