ICCAD 2011 - International Conference on Computer-Aided Design (ICCAD)

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 Floor planning:
? 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, manufacture ability, 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.