本版可交流仿真验证、Formal、后仿、混仿、硬件加速、原型验证等问题

iloveic_cn

本版可交流仿真验证、Formal、后仿、混仿、硬件加速、原型验证等问题，

• 验证计划、覆盖率
• 动态仿真（VCS / NC）、静态验证（VC Formal / Jasper）
• 波形调试（Verdi / Indago / Simvision）
• 后仿
• 数模联仿（VCS+XA、NC+Spectre）
• 硬件加速器（帕拉丁、Zebu、Veloce）
• FPGA原型验证（板级、FPGA移植、调试）