论述witness仿真系统.ppt

论述witness仿真系统.ppt三、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负指数分布;(14)WEIBULL威伯尔分布Witness提供了四种类型的变量:整型、实型、名型、字符型。..........*四、witness程序三种基本结构1、顺序结构顺序结构是在程序执行时,根据程序中语句的书写顺序依次执行的命令序列。2、分支结构分支结构是在程序执行时,根据不同的条件,选择执行不同的程序语句,用来解决有选择、有转移的诸多问题。3、循环结构允许有限次重复执行某一特定的程序。..........*分支结构有单向分支和多向分支语法结构,分别如下:(1)单向分支,也叫简单分支结构IF<条件表达式><命令行序列>ENDIF(2)多向分支,也叫复杂分支结构IF<条件表达式1><命令行序列1>ELSE<命令行序列2>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"Thelevelinthewatertankishigh"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))函数计算缓冲区STORE(1)中的部件数量;IF分支用来判断STORE(1)中排于第BUFFER_INDEX位置的部件的属性color是否等于“red”..........*(2)“当”型循环语法结构:WHILE<条件表达式><命令行序列>ENDWHILE注:ENDWHILE可以缩写为END。语句功能:当<条件表达式>为真时,一直执行<命令行序列>,直到<条件表达式>为假时,循环结束。示例:WHILENPARTS(STOCK)>90PRINT"Warning!TheSTOCKbufferisnearlyfull."ENDWHILE..........*使用循环语句时应注意的几点WHILE和ENDWHILE、FOR和NEXT必须配对使用。〈命令行序列〉可以是任何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,则消息框无任何图标;若icon_id=1,则消息框的图标为“Stop”型;若icon_id=2,则消息框的图标为“Question”型;若icon_id=3,则消息框的图标为“Warning”型;若icon_id=4,则消息框的图标为“Information”型;dialog_text字符串型,在消息框中要显示的文本;button_text字符串型,消息框中按钮