ICCAD 2012 - The 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.