上期答案
[331] 与动态仿真相比，形式验证有什么优势？
- 动态仿真不可能进完全的验证，因为输入激励是使用生成器或testcase来实现的。但是，形式验证会覆盖所有的状态空间，因为该工具会自动生成激励来验证所有的spec。
- 由于工具会自动生成完备的激励，因此无需自行生成激励。用户可以专注于使用属性来映射形式spec。
- 无需生成预期的输出序列，并且在数学上保证了设计的正确性。
[332] 形式验证有什么局限性？
- 可拓展性是形式验证的最大限制之一。形式验证仅限于较小的设计，因为即使添加一个触发器也会将设计状态空间增加2倍（这意味着每个触发器的输入场景都会加倍）。
- 它可以确保设计相对于spec的正确性。它不能保证设计是否正常工作（例如spec本身是否有错误）。
- 对于模型检查，spec需要使用property来描述、编码
[333] 如果设计中的某个模块经过形式验证可以正常工作，我们是否还需要收集该模块的覆盖率？
不，我们不需要通过了形式验证的模块的覆盖率。因为形式验证在数学上保证了可以在所有可能的输入条件下都符合spec。
功耗和时钟
[334] CMOS电路功耗由哪些部分组成？
- 「动态功耗」：这部分是由晶体管电容充放电产生的
- 「静态功耗」：这部分是由开关的漏电流产生的
[335] 什么是动态功耗？它与哪些参数有关？
动态功耗(
)是容性负载功耗(
)与瞬态功耗(
)的总和。动态功耗(
)与
成正比。
其中，
本期题目
[336] 什么是静态功耗？它与哪些参数有关？
[337] 什么是多电压域？为什么要使用它？
[338] 什么是“动态电压频率调节”(DVFS)？何时使用？
[339] 什么是UPF？
[340] 什么是Power Aware Simulation，它的重要性体现在什么地方？
正确答案将在下一期公布，或者到下面的文章获取答案攻略
