LeslieQ

摘要： 什么是断言？ 断言：断言是一种声明，即某个属性必须为真。 设计规范：请求req信号被断言后，确认ack信号必须在1到3个时钟后到达。 断言用于： 文档设计意图（例如：每个请求信号req都有一个确认信号ack） 在仿真时间内验证设计是否符合规范 验证设计假设（例如：状态值为独热码） 定位发生故障的位置 阅读全文