A.驗(yàn)證系統(tǒng)正確性
B.驗(yàn)證系統(tǒng)可靠性
C.驗(yàn)證系統(tǒng)合理性
D.驗(yàn)證系統(tǒng)擴(kuò)展性
您可能感興趣的試卷
你可能感興趣的試題
A.離散系統(tǒng)仿真
B.連續(xù)系統(tǒng)仿真
C.離散-連續(xù)系統(tǒng)混合仿真
A.Verilog是一種結(jié)構(gòu)化和過程性的語言,其語法結(jié)構(gòu)非常適合于算法級(jí)和RTL級(jí)模型設(shè)計(jì)
B.可描述順序執(zhí)行或并行執(zhí)行的程序結(jié)構(gòu),并提供了條件、循環(huán)程序結(jié)構(gòu)
C.用延遲表達(dá)式或事件表達(dá)式來明確地控制過程的啟動(dòng)時(shí)間,通過命名的事件來觸發(fā)其它過程里的激活行為或停止行為
D.提供了可定義新操作符的函數(shù)結(jié)構(gòu),以及用于建立表達(dá)式的算術(shù)運(yùn)算符、邏輯運(yùn)算符和位運(yùn)算符
A.數(shù)據(jù)流圖是最普遍的描述計(jì)算密集系統(tǒng)的方法,一般用來計(jì)算離散變量的變化
B.計(jì)算的數(shù)據(jù)流模型是基于同步和功能性原則的
C.數(shù)據(jù)流圖形式的被定義為四元組,其中數(shù)據(jù)流的節(jié)點(diǎn)保存了數(shù)據(jù)的輸入輸出狀態(tài),而邊用于實(shí)現(xiàn)數(shù)據(jù)計(jì)算
D.數(shù)據(jù)有限狀態(tài)自動(dòng)機(jī)是由有限狀態(tài)自動(dòng)機(jī)和數(shù)據(jù)流圖結(jié)合在一起所生成的建模模型
關(guān)于下圖加熱空調(diào)的FSMD正確說法的是()
A.該空調(diào)在室溫大于攝氏22度時(shí)關(guān)閉空調(diào)
B.在攝氏20度時(shí)空調(diào)可能處于開啟狀態(tài)也可能處于關(guān)閉狀態(tài)
C.狀態(tài)間轉(zhuǎn)移條件集TC={T>=22℃,T< =18℃}
D.在空調(diào)關(guān)閉的狀態(tài)下,此時(shí)房間溫度若為攝氏20度則會(huì)開啟空調(diào)
關(guān)于下圖Mealy型有限狀態(tài)機(jī)的錯(cuò)誤說法的是()
A.狀態(tài)集S組成為:{0角、5角、10角}
B.輸出函數(shù)為:(10角,10角)->5角∣1包
C.輸出函數(shù)為:(5角,10角)→15角∣1包
D.該狀態(tài)機(jī)最多可以購買的數(shù)量為1包
最新試題
JFFS2文件系統(tǒng)主要用于()閃存。
大端格式中,數(shù)據(jù)的高字節(jié)存儲(chǔ)在()地址中。
微內(nèi)核(Microkernel)結(jié)構(gòu),又稱為(),是現(xiàn)代軟件常用體系結(jié)構(gòu)之一。
Linux系統(tǒng)關(guān)機(jī)指令是()。
Makefile中的變量分為()、()、()、()。
程序編譯鏈接的基本過程包括();任務(wù)的三種基本狀態(tài)為()。
如果一個(gè)進(jìn)程已經(jīng)終止,但是它的父進(jìn)程尚未調(diào)用wait或waitpid對(duì)它進(jìn)行清理,這時(shí)的進(jìn)程狀態(tài)稱為()。
處理器與外設(shè)之間傳輸數(shù)據(jù)的控制方式通常有3種()、()、()。
使用()命令顯示出當(dāng)前工作目錄的絕對(duì)路徑。
進(jìn)程間通信主要包括有如下幾種:()、()、()、()、()。