研究课题

（揭榜挂帅：征集能够解决EDA中存在的关键科学问题）

问题列表

• 仿真验证
  • 功能仿真
  • 逻辑仿真
  • 形式化验证
• 逻辑综合
  • 逻辑编译
  • 逻辑优化
  • 工艺映射
• 测试综合
  • 测试向量生成
  • DFT
• 物理设计
  • 版图规划
  • 布局
  • 时钟树综合
  • 布线
• 签核分析
  • 时序分析
  • 功耗分析
  • 电压降分析
  • 电迁移分析
  • 热分析
• 版图优化
  • 物理验证
  • 可制造性优化