本文详细介绍了断言在硬件设计中的作用，包括检查设计内容、增强设计可视性和调试能力，以及确保设计特性在验证过程中的覆盖。断言分为并行断言和立即断言，其中并行断言涉及时钟。sequence可以在多个模块中声明，但不能在class中。文章还阐述了并行交错符号（|->）和非交叠交错符号（|=>）的含义，帮助读者理解其在不同场景的应用。
断言的作用：
1.检查设计的内容；
2.提高设计的可视度和调试功能；
3.检查设计特性在验证中是否被覆盖；
分为并行断言和立即断言，并行断言包含时钟。
property块可以直接包含sequence，复杂的property也可以独立的声明sequence；
sequence可以在module、interface、program、clocking、和package块中声明，但不能在class中声明，断言一般放在interface中使用。
|->交叠交错符号：前后两个条件同时执行；
|=>非交叠交错符号：如果条件满足，在下一个周期评估后续算子序列。
1651
6574
1264
3088
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
扫一扫
