1、故障模擬被簡(jiǎn)化為在原始電路上的邏輯模擬。?
2、包含運行時(shí)變量狀態(tài)機的復雜業(yè)務(wù)邏輯模擬。
3、邏輯模擬是設計中必不可少的一個(gè)環(huán)節。
4、本文在傳統的門(mén)級邏輯模擬模型和算法的基礎上引進(jìn)了一些新概念，導出了一種新的分析模型和算法。
5、此外，為了驗證算法和一致性協(xié)議，我們在驗證平臺上做了相關(guān)的系統級功能模擬，邏輯模擬結果和設計初衷是吻合的。
6、異于目前廣泛采用的面向事件的模擬系統，本文提出了基于面向過(guò)程的波形字邏輯模擬系統的結構、設計和實(shí)現方法，并給出了系統中使用的主要算法。
7、基于該模型，還實(shí)現了一個(gè)簡(jiǎn)單的邏輯模擬程序以驗證模型的可行性。
8、直到現在，邏輯模擬器依然是最受歡迎的驗證工具。
9、該文提出了一種結合邏輯模擬和布爾可滿(mǎn)足性的黑盒驗證方法，用于驗證設計中黑盒外部的功能正確性。
10、隨著(zhù)大規模集成電路的復雜性日益增加，邏輯模擬開(kāi)始采用并行離散事件模擬技術(shù)。
11、本文闡述的波形法模擬算法是一個(gè)面向過(guò)程的，在時(shí)間上高度并行的邏輯模擬算法。
12、在邏輯模擬中用波形作為電路狀態(tài)的描述工具，通過(guò)對波形的計算和檢查實(shí)現精確的模擬。
13、提出模擬推進(jìn)度的概念，作為對并行邏輯模擬過(guò)程中的負載進(jìn)行準確的衡量標準。
14、討論了數字電路的邏輯級模擬中元件傳輸延遲模型、元件狀態(tài)值模型的建立，邏輯模擬的算法以及元件計算的方法。