电子设计自动化

逻辑综合 电子设计自动化 梯形逻辑 寄存器传输级 逻辑仿真 电子电路仿真 功能验证 网表 Gateway设计自动化 动态时序验证 集成电路设计 半导体IP核 Icarus Verilog SystemVerilog DPI 高级验证 事务级建模方法 集成电路版图 布局 (集成电路) 布线 (集成电路) 设计规则检查 电路布局验证 物理设计 算法状态机 设计收敛 时序收敛 布图规划 标准延迟格式 形式等效性检查 可测试性设计 通用验证方法学 标准单元 工程改变命令 为制造设计 物理验证 错误涵盖率 固定型故障