摘要： 对综合产生的门级网表（Gate-level）进行编译仿真 一：什么是后仿 前仿不包括时序信息，即当作理想的器件看待，仅仅验证代码的功能；后仿，在有时序信息，有延迟情况下（器件自身的延迟，传输线上的延时等，与工艺器件有关）的仿真；后仿主要关注Toggle覆盖率，因为门级网表里面没有RTL级代码，没有i 阅读全文

摘要： 一：类型 line（行)覆盖率，Toggle（跳变）覆盖率，condition（条件）覆盖率，FSM（状态机）覆盖率，path（路径）覆盖率 二：覆盖率 1：行覆盖率 一般要求100%，例如缺else，default 例子如下，缺少else，default；但这不一定是错误，可能故意为之；二次检查 阅读全文