資源描述：
《witness仿真系統(tǒng)復(fù)習(xí)過程.ppt》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫。
1、witness仿真系統(tǒng)分支結(jié)構(gòu)有單向分支和多向分支語法結(jié)構(gòu)，分別如下：（1）單向分支，也叫簡單分支結(jié)構(gòu)IF<條件表達(dá)式><命令行序列>ENDIF（2）多向分支，也叫復(fù)雜分支結(jié)構(gòu)IF<條件表達(dá)式1><命令行序列1>ELSE<命令行序列2>ENDIF（3）使用分支語句應(yīng)注意的幾點(diǎn):aIF……ENDIF必須配對使用；b〈條件表達(dá)式〉可以是各種表達(dá)式或函數(shù)的組合，其值必須是邏輯值；c〈命令行序列〉可以由一個(gè)或多個(gè)命令組成，也可以是條件控制語句組成的嵌套結(jié)構(gòu)。示例IF(water_level>=0)AND(water_level<=5)PR
2、INT"Thelevelinthewatertankislow"ELSEIF(water_level>5)AND(water_level<=10)PRINT"Thelevelinthewatertankisnormal"ELSEPRINT"Thelevelinthewatertankishigh"ENDIF循環(huán)結(jié)構(gòu)（1）計(jì)數(shù)型循環(huán)基本語法如下：FOR〈循環(huán)變量〉＝〈循環(huán)變量初值〉TO〈循環(huán)變量終值〉［STEP〈循環(huán)變量步長〉］〈命令行序列〉NEXT例：NUMBER_FOUND=0FORBUFFER_INDEX=1toNPARTS(
3、STORE(1))IFSTORE(1)atBUFFER_INDEX:color=redNUMBER_FOUND=NUMBER_FOUND+1ENDIFNEXT這段程序用來統(tǒng)計(jì)緩沖區(qū)store(1)中顏色為紅色的部件的數(shù)量。BUFFER_INDEX是循環(huán)變量；NPARTS(STORE(1))函數(shù)計(jì)算緩沖區(qū)STORE(1)中的部件數(shù)量；IF分支用來判斷STORE(1)中排于第BUFFER_INDEX位置的部件的屬性color是否等于“red”（2）“當(dāng)”型循環(huán)語法結(jié)構(gòu)：WHILE<條件表達(dá)式><命令行序列>ENDWHILE注：ENDW
4、HILE可以縮寫為END。語句功能：當(dāng)<條件表達(dá)式>為真時(shí)，一直執(zhí)行<命令行序列>，直到<條件表達(dá)式>為假時(shí)，循環(huán)結(jié)束。示例：WHILENPARTS(STOCK)>90PRINT"Warning!TheSTOCKbufferisnearlyfull."ENDWHILE使用循環(huán)語句時(shí)應(yīng)注意的幾點(diǎn)WHILE和ENDWHILE、FOR和NEXT必須配對使用?！疵钚行蛄小悼梢允侨魏蜽ITNESS的命令或語句，也可以是循環(huán)語句，即可以嵌套為多重循環(huán)。五、Witness常用系統(tǒng)函數(shù)1、數(shù)字函數(shù)Abs（R）Amax（R1，R2，R3…，Rn）
5、2、轉(zhuǎn)換函數(shù)Chr（I）Float（I）Str（RorI）Strstr（Sa，Sb）Leftstr（S，N）3、模型交互對話函數(shù)Msgdlg（title，icon_id，dialog_text，button_text，default_button）用來產(chǎn)生一個(gè)消息框。title：字符串型，用來產(chǎn)生消息框的標(biāo)題；icon_id整數(shù)型，用來標(biāo)記消息框的類型。若icon_id=0，則消息框無任何圖標(biāo)；若icon_id=1，則消息框的圖標(biāo)為“Stop”型；若icon_id=2，則消息框的圖標(biāo)為“Question”型；若icon_id=3，
6、則消息框的圖標(biāo)為“Warning”型；若icon_id=4，則消息框的圖標(biāo)為“Information”型；dialog_text字符串型，在消息框中要顯示的文本；button_text字符串型，消息框中按鈕的顯示文本。一個(gè)消息框中至多有4個(gè)按鈕，每個(gè)按鈕的文本用“
7、”分隔開；default_button整數(shù)型；default_button用來設(shè)置按鈕的默認(rèn)值，若default_button=1，則默認(rèn)第一個(gè)按鈕；若default_button=2，則默認(rèn)第二個(gè)按鈕；若default_button=3，則默認(rèn)第三個(gè)按鈕；示例：MSG
8、DLG(“Changethepath”,2,“Doyouwanttochangethepath?”,“&Yes
9、&No”,1)會(huì)彈出下列消息框：Inputdlg（title，dialog_text，field_default，field_width，type_id）用來產(chǎn)生用戶可以進(jìn)行編輯的交互窗口。title字符串型，用來產(chǎn)生交互窗口的標(biāo)題；dialog_text字符串型，用來產(chǎn)生交互窗口的要進(jìn)行編輯的提示信息；field_default字符串型，在交互窗口要輸入的默認(rèn)值；field_width整數(shù)型，交互窗口要輸入的文本的寬度
10、；type_id整數(shù)型；交互窗口要輸入的類型，若type_id=1，則應(yīng)該輸入字符串型；若type_id=2，則應(yīng)該輸入整數(shù)型；若type_id=3，則應(yīng)該輸入實(shí)數(shù)型；示例：?INPUTDLG("NumberofMachine","Pleasein
