witness仿真系统复习过程.ppt

《witness仿真系统复习过程.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、witness仿真系统分支结构有单向分支和多向分支语法结构，分别如下：（1）单向分支，也叫简单分支结构IF<条件表达式><命令行序列>ENDIF（2）多向分支，也叫复杂分支结构IF<条件表达式1><命令行序列1>ELSE<命令行序列2>ENDIF（3）使用分支语句应注意的几点:aIF……ENDIF必须配对使用；b〈条件表达式〉可以是各种表达式或函数的组合，其值必须是逻辑值；c〈命令行序列〉可以由一个或多个命令组成，也可以是条件控制语句组成的嵌套结构。示例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循环结构（1）计数型循环基本语法如下：FOR〈循环变量〉＝〈循环变量初值〉TO〈循环变量终值〉［STEP〈循环变量步长〉］〈命令行序列〉NEXT例：NUMBER_FOUND=0FORBUFFER_INDEX=1toNPARTS(

3、STORE(1))IFSTORE(1)atBUFFER_INDEX:color=redNUMBER_FOUND=NUMBER_FOUND+1ENDIFNEXT这段程序用来统计缓冲区store(1)中颜色为红色的部件的数量。BUFFER_INDEX是循环变量；NPARTS(STORE(1))函数计算缓冲区STORE(1)中的部件数量；IF分支用来判断STORE(1)中排于第BUFFER_INDEX位置的部件的属性color是否等于“red”（2）“当”型循环语法结构：WHILE<条件表达式><命令行序列>ENDWHILE注：ENDW

4、HILE可以缩写为END。语句功能：当<条件表达式>为真时，一直执行<命令行序列>，直到<条件表达式>为假时，循环结束。示例：WHILENPARTS(STOCK)>90PRINT"Warning!TheSTOCKbufferisnearlyfull."ENDWHILE使用循环语句时应注意的几点WHILE和ENDWHILE、FOR和NEXT必须配对使用。〈命令行序列〉可以是任何WITNESS的命令或语句，也可以是循环语句，即可以嵌套为多重循环。五、Witness常用系统函数1、数字函数Abs（R）Amax（R1，R2，R3…，Rn）

5、2、转换函数Chr（I）Float（I）Str（RorI）Strstr（Sa，Sb）Leftstr（S，N）3、模型交互对话函数Msgdlg（title，icon_id，dialog_text，button_text，default_button）用来产生一个消息框。title：字符串型，用来产生消息框的标题；icon_id整数型，用来标记消息框的类型。若icon_id=0，则消息框无任何图标；若icon_id=1，则消息框的图标为“Stop”型；若icon_id=2，则消息框的图标为“Question”型；若icon_id=3，

6、则消息框的图标为“Warning”型；若icon_id=4，则消息框的图标为“Information”型；dialog_text字符串型，在消息框中要显示的文本；button_text字符串型，消息框中按钮的显示文本。一个消息框中至多有4个按钮，每个按钮的文本用“

7、”分隔开；default_button整数型；default_button用来设置按钮的默认值，若default_button=1，则默认第一个按钮；若default_button=2，则默认第二个按钮；若default_button=3，则默认第三个按钮；示例：MSG

8、DLG(“Changethepath”,2,“Doyouwanttochangethepath?”,“&Yes

9、&No”,1)会弹出下列消息框：Inputdlg（title，dialog_text，field_default，field_width，type_id）用来产生用户可以进行编辑的交互窗口。title字符串型，用来产生交互窗口的标题；dialog_text字符串型，用来产生交互窗口的要进行编辑的提示信息；field_default字符串型，在交互窗口要输入的默认值；field_width整数型，交互窗口要输入的文本的宽度

10、；type_id整数型；交互窗口要输入的类型，若type_id=1，则应该输入字符串型；若type_id=2，则应该输入整数型；若type_id=3，则应该输入实数型；示例：♦INPUTDLG("NumberofMachine","Pleasein