邏輯模擬造句

邏輯模擬造句

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