Academic

(Open Call for Leading Figures: Soliciting solutions to key scientific problems existing in EDA)

Problem List

• Simulation and Verification
  • Functional Simulation
  • Logic Simulation
  • Formal Verification
• Logic Synthesis
  • Logic Compilation
  • Logic Optimization
  • Technology Mapping
• Test Synthesis
  • Test Vector Generation
  • DFT
• Physical Design
  • Floorplanning
  • Placement
  • Clock Tree Synthesis
  • Routing
• Signoff Analysis
  • Timing Analysis
  • Power Analysis
  • Voltage Drop Analysis
  • Electromigration Analysis
  • Thermal Analysis
• Layout Optimization
  • Physical Verification
  • Manufacturability Optimization