数字器件的MAST模型幻灯片.ppt

模板头说明 1 state logic_4 ckout 该模板的连接点类型为state，说明该模板是数字型器件。且该模板只有一个输出端点。 2 在该模板的头说明中定义了两个数值型变量，一个是占空比，另一个是时钟频率。 返回模板 when 段的数目和第一个when的作用 在这个模块的模板体中有三个when段，但这三个when段的作用不同。 第一个when段中使用了仿真器变量dc_init，它表面在开始作直流分析执行这段程序，在其它时候不执行这段程序，这段程序的作用是初始化ckout变量，将ckout变量的值赋为1。 返回第一when段 第二、三个when段的作用 在第二个when段中，使用了仿真器变量time_init，该变量在时域仿真开始时为1，该when段的作用是在时域仿真开始时初始化tick变量。time_init变量在重新进行时域仿真分析时该变量的值为0。（使用了alter或continuous命令） 在第三个when段中就构成了时钟脉冲。 返回when 段 数字器件的MAST模型 模拟器件模型的仿真特点 在SABER中很多时域器件模型都是模拟器件，即在作时域分析时的时间变化是连续的，但是在仿真时也是将连续函数离散化，其离散点就是仿真的步长。在通常情况下，仿真器的步长是根据仿真精度来确定的。也可以使用仿真器变量来控制仿真的步长。 数字器件模型的仿真特点 在SABER中，用MAST语言建立数字器件模型就是在模型中控制仿真器的下一个仿真点。数字器件状态的变化时刻及变化结果是比较关注的，而状态的变化过程是不太关注的。 在数字器件模型中最关键点就是在模板体中建立when段。 数字器件模型数值的特点 数字器件模型在时间上是不连续的，在数值上也是离散的。在SABER中有两类类型提供数字器件的离散数字量。logic_4和logic_3。它们的值分别是：logic_0, logic_1, logic_x, logic_z。其中logic_x为不确定状态，而logic_z为高阻状态。 定义： state logic_4 cp1,cp2 连接点特点 状态转换、事件特点 仿真过程特点 返回初始化 数字器件模型中常用术语和连接点的特点 true—false， HIGH—LOW， on—off closed—open， 1—0 在模拟器件中定义了一个连接点就等价地定义了一个量纲和一对变量（across变量和through变量)，而在数字器件中定义的连接点就定义了量纲和状态(state)，其连接点类型为state，它表示一组数字，与各个离散时刻连接起来。 返回 数字器件模型事件的特点 事件是数字器件端点在指定时刻从一个状态过渡到另一个状态，而这种过渡过程也是指定的。 建立的数字器件模型时，必须要在模板器件的端点指定事件，否则仿真器将无法进行仿真 返回 数字器件仿真过程的特点 SABER仿真器对数字器件的仿真是基于事件队列而不是基于事件步长，SABER仿真器根据设计需要对所有需要计算的数字模板的事件进行自动排序。而when段的执行完全依赖事件队列的事件，如果在事件队列中没有事件存在，则模板体中的when段将不能执行。 When段 常用函数 初始化 when段的特征 when段是在数字模型中常用的段，而在模拟器件模型中不用这个段。对于模拟器件模型的端点特征通常都是在方程段中进行描述，在方程段中的方程总是与var变量或pin-type型变量联系在一起的。在数字器件中的when段的作用与模拟器件方程段的作用相似，它也是来描述数字器件端点特征的。 when段作用的特征 when段是一个操作段，该段的操作总是和时间联系在一起的，即在什么时候操作。它可以离散模拟信号，操作数字信号，测试模拟波形穿越门槛，确定触发事件，确定仿真器的时间等。 when段的定义 when(condition){ statements } 定义when段的关键词为when，条件将被监测，一旦条件满足就将执行函数体中的statements。但是，在when段中使用的条件总是和时间联系在一起的，在when段中的条件总有时间的概念。 返回 数字器件模型中常用函数 在数字模板中常用的概念是事件，其很多过程都是由事件触发的；而与事件相关的触发函数为schedule_event； handle； event_on； deschedule。其中前两个函数为事件设置函数，event_on为事件监视函数，deschedule函数为事件解除函数。 只有当对象设置为事件后，event_on和deschedule函数才可以用。 事件设置函数 事件监视函数 事件解除函数 返回到过程特点 事件驱动函数 在事件驱动函数中shedule_eve