witness仿真系统讲解.pptxVIP

三、Witness随机分布函数 WITNESS 提供了14 种整型或实数型的标准随机分布函数，它们能返回一系列理论分布的随机样本值。WITNESS 提供了如下14 种标准随机分布函数： （1）BETA β分布； （2） NORMAL 正态分布； （3）BINOMIAL 二项分布；（4）POISSON 泊松分布； （5）ERLANG 爱尔朗分布 （6）RANDOM 0-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）使用分支语句应注意的几点: a IF… … ENDIF 必须配对使用； b〈条件表达式〉可以是各种表达式或函数的组合，其值必须是逻辑值；　 c〈命令行序列〉可以由一个或多个命令组成，也可以是条件控制语句组成的嵌套结构。 示例 IF (water_level = 0) AND (water_level = 5) PRINT The level in the water tank is low ELSEIF (water_level 5) AND (water_level = 10) PRINT The level in the water tank is normal ELSE PRINT The level in the water tank is high ENDIF;循环结构 （1）计数型循环 基本语法如下： FOR〈循环变量〉＝〈循环变量初值〉TO〈循环变量终值〉 ［STEP〈循环变量步长〉］ 〈 命令行序列〉 NEXT;例： NUMBER_FOUND = 0 FOR BUFFER_INDEX = 1 to NPARTS(STORE(1)) IF STORE(1) at BUFFER_INDEX:color=red NUMBER_FOUND = NUMBER_FOUND + 1 ENDIF NEXT 这段程序用来统计缓冲区 store(1)中颜色为红色的部件的数量。BUFFER_INDEX 是循环变量；NPARTS(STORE(1))函数计算缓冲区 STORE(1)中的部件数量；IF 分支用来判断 STORE(1)中排于第 BUFFER_INDEX 位置的部件的属性 color 是否等于“red” ;（2）“当”型循环 语法结构： WHILE 条件表达式 命令行序列 ENDWHILE 注：ENDWHILE 可以缩写为END。 语句功能： 当条件表达式为真时，一直执行命令行序列，直到条件表达式为假时，循环结束。示例： WHILE NPARTS(STOCK) 90 PRINT Warning! The STOCK buffer is nearly full. ENDWHILE;使用循环语句时应注意的几点 WHILE 和ENDWHILE、FOR 和NEXT 必须配对使用。　 〈命令行序列〉可以是任何WITNESS 的命令或语句，也可以是循环语句，即可以嵌套为多重循环。;五、 Witness常用系统函数 1、数字函数 Abs（R） Amax（R1，R2，R3…，Rn） 2、转换函数 Chr（I） Float（I） Str（R or I） Strstr（Sa，Sb） Leftstr（S，N）;3、模型交互对话函数 Msgdlg（title，icon_id，dialog_text，button_text，default_button）用来产生一个消息框。 ; 示例： MSGDLG (“Change the path”,2,“Do you want to change the path?”,“Yes|No”,1) 会弹出下列消息框：;Inputdlg（