第3章 立即斷言

立即斷言是簡單的非時域斷言，它們像程序塊中的語句那樣執行。將它們解釋爲類似「if」條件語句下表達式。只有在指定程序語句的情況下才可以使用立即斷言。  圖3.1描述了立即斷言的基礎知識。這是所謂的，因爲它在程序執行到這個程序塊時立即執行。它不會等待'下一個時鐘邊緣'自行啓動。斷言之前可以使用電平敏感或邊沿敏感的語句。正如我們將看到的那樣，斷言只能在'採樣/時鐘邊沿'敏感邏輯而不是電平敏感邏輯上工作。

>>阅读原文<<