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

Website www.iccad.com | Edit Freely

Category ICCAD 2011

Deadline: August 12, 2011 | Date: November 06, 2011-November 10, 2011

Venue/Country: San Jose, U.S.A

Updated: 2011-03-01 18:17:53 (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.