27 / 37 · 测验
理解检查：参考模型与竞争
选择独立期望值及边沿更新后的检查时间。
课时内容可免费阅读，选课后可保存学习进度。
测试非阻塞更新的 count，应分开激励和检查时刻。
此课程的单时钟测试平台，哪种检查方式合适？
避免激励与捕获同事件竞争，并在 DUT 更新后比较。教学 #1 不是物理时序验证。独立模型降低共享实现错误的风险。
✓ 测验已完成
Altifigence Academy
Altifigence Academy
27 / 37 · 测验
选择独立期望值及边沿更新后的检查时间。
课时内容可免费阅读，选课后可保存学习进度。
测试非阻塞更新的 count，应分开激励和检查时刻。
避免激励与捕获同事件竞争，并在 DUT 更新后比较。教学 #1 不是物理时序验证。独立模型降低共享实现错误的风险。