ICCAD 2012 - The International Conference on Computer-Aided Design (ICCAD)

Website http://iccad.com/ | Edit Freely

Category ICCAD 2012

Deadline: August 12, 2012 | Date: November 04, 2012-November 08, 2012

Venue/Country: California, U.S.A

Updated: 2011-11-05 23:48:22 (GMT+9)

Call For Papers - CFP

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.