第3章 立即断言

立即断言是简单的非时域断言，它们像程序块中的语句那样执行。将它们解释为类似“if”条件语句下表达式。只有在指定程序语句的情况下才可以使用立即断言。  图3.1描述了立即断言的基础知识。这是所谓的，因为它在程序执行到这个程序块时立即执行。它不会等待'下一个时钟边缘'自行启动。断言之前可以使用电平敏感或边沿敏感的语句。正如我们将看到的那样，断言只能在'采样/时钟边沿'敏感逻辑而不是电平敏感逻辑上工作。

>>阅读原文<<