witness仿真系统方案.ppt

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

1、三、Witness随机分布函数WITNESS提供了14种整型或实数型的标准随机分布函数，它们能返回一系列理论分布的随机样本值。WITNESS提供了如下14种标准随机分布函数：（1）BETAβ分布；（2）NORMAL正态分布；（3）BINOMIAL二项分布；（4）POISSON泊松分布；（5）ERLANG爱尔朗分布（6）RANDOM0-1均匀分布；（7）GAMMAγ分布；（8）TNORMAL截断正态分布（9）IUNIFORM整数均匀分布（10）TRIANGLE三角分布；（11）LOGNORML对数正态分布（12）UNIFORM均匀分布；（13）NEGEXP负指数分布；（

2、14）WEIBULL威伯尔分布Witness提供了四种类型的变量:整型、实型、名型、字符型。四、witness程序三种基本结构1、顺序结构顺序结构是在程序执行时，根据程序中语句的书写顺序依次执行的命令序列。2、分支结构分支结构是在程序执行时，根据不同的条件，选择执行不同的程序语句，用来解决有选择、有转移的诸多问题。3、循环结构允许有限次重复执行某一特定的程序。分支结构有单向分支和多向分支语法结构，分别如下：（1）单向分支，也叫简单分支结构IF<条件表达式><命令行序列>ENDIF（2）多向分支，也叫复杂分支结构IF<条件表达式1><命令行序列1>ELSE<命令行序列2

3、>ENDIF（3）使用分支语句应注意的几点:aIF……ENDIF必须配对使用；b〈条件表达式〉可以是各种表达式或函数的组合，其值必须是逻辑值；c〈命令行序列〉可以由一个或多个命令组成，也可以是条件控制语句组成的嵌套结构。示例IF(water_level>=0)AND(water_level<=5)PRINT"Thelevelinthewatertankislow"ELSEIF(water_level>5)AND(water_level<=10)PRINT"Thelevelinthewatertankisnormal"ELSEPRINT"Thelevelinthewat

4、ertankishigh"ENDIF循环结构（1）计数型循环基本语法如下：FOR〈循环变量〉＝〈循环变量初值〉TO〈循环变量终值〉［STEP〈循环变量步长〉］〈命令行序列〉NEXT例：NUMBER_FOUND=0FORBUFFER_INDEX=1toNPARTS(STORE(1))IFSTORE(1)atBUFFER_INDEX:color=redNUMBER_FOUND=NUMBER_FOUND+1ENDIFNEXT这段程序用来统计缓冲区store(1)中颜色为红色的部件的数量。BUFFER_INDEX是循环变量；NPARTS(STORE(1))函数计算缓冲区STO

5、RE(1)中的部件数量；IF分支用来判断STORE(1)中排于第BUFFER_INDEX位置的部件的属性color是否等于“red”（2）“当”型循环语法结构：WHILE<条件表达式><命令行序列>ENDWHILE注：ENDWHILE可以缩写为END。语句功能：当<条件表达式>为真时，一直执行<命令行序列>，直到<条件表达式>为假时，循环结束。示例：WHILENPARTS(STOCK)>90PRINT"Warning!TheSTOCKbufferisnearlyfull."ENDWHILE使用循环语句时应注意的几点WHILE和ENDWHILE、FOR和NEXT必须配对

6、使用。〈命令行序列〉可以是任何WITNESS的命令或语句，也可以是循环语句，即可以嵌套为多重循环。五、Witness常用系统函数1、数字函数Abs（R）Amax（R1，R2，R3…，Rn）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，则消息框

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

8、”分隔开；default_button整数型；default_button用来设置按钮的默认值，若default_button=1，则默认第