【日更计划121】数字IC基础题【UVM部分】

上期答案

[331] 与动态仿真相比，形式验证有什么优势？

1. 动态仿真不可能进完全的验证，因为输入激励是使用生成器或testcase来实现的。但是，形式验证会覆盖所有的状态空间，因为该工具会自动生成激励来验证所有的spec。
2. 由于工具会自动生成完备的激励，因此无需自行生成激励。用户可以专注于使用属性来映射形式spec。
3. 无需生成预期的输出序列，并且在数学上保证了设计的正确性。

[332] 形式验证有什么局限性？

1. 可拓展性是形式验证的最大限制之一。形式验证仅限于较小的设计，因为即使添加一个触发器也会将设计状态空间增加2倍（这意味着每个触发器的输入场景都会加倍）。
2. 它可以确保设计相对于spec的正确性。它不能保证设计是否正常工作（例如spec本身是否有错误）。
3. 对于模型检查，spec需要使用property来描述、编码

[333] 如果设计中的某个模块经过形式验证可以正常工作，我们是否还需要收集该模块的覆盖率？

不，我们不需要通过了形式验证的模块的覆盖率。因为形式验证在数学上保证了可以在所有可能的输入条件下都符合spec。

功耗和时钟

[334] CMOS电路功耗由哪些部分组成？

1. 「动态功耗」：这部分是由晶体管电容充放电产生的
2. 「静态功耗」：这部分是由开关的漏电流产生的

[335] 什么是动态功耗？它与哪些参数有关？

动态功耗(

)是容性负载功耗(

)与瞬态功耗(

)的总和。动态功耗(

)与

成正比。

其中，

本期题目

[336] 什么是静态功耗？它与哪些参数有关？

[337] 什么是多电压域？为什么要使用它？

[338] 什么是“动态电压频率调节”(DVFS)？何时使用？

[339] 什么是UPF？

[340] 什么是Power Aware Simulation，它的重要性体现在什么地方？

正确答案将在下一期公布，或者到下面的文章获取答案攻略