第六章行为级建模.ppt

行为级建模 行为级建模 行为级建模 结构化过程语句 两种结构化的过程语句：initial语句和 always语句，它们是行为级建模 的两种基本语句。 其他所有行为语句只能出现在这两种结构化过程语句里。 Verilog本质上是并发而非顺序的，每个语句代表一个独立的执行过程， 每个执行过程从仿真时间0开始，并且这两种语句不能嵌套使用 行为级建模 行为级建模 inital语句 从仿真0时刻开始执行，在整个仿真过程中只执行一次。如果一个模块中包含了若干个initial块，则这些块从0时刻开始并发执行，且每个块的执行是各自独立的 如果在块中包含了多条行为语句，需要将这些语句组成一组。一般使 用关键字begin和 end将他们组合为一个块语句 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 （阻塞、非阻塞对比） （阻塞、非阻塞对比） （阻塞、非阻塞对比） （阻塞、非阻塞对比） 行为级建模 时序控制 行为级建模 行为级建模 ① 常规延迟控制 常规延迟控制位于赋值语句的左边，用于指定一个非零延迟值 行为级建模 ② 常规延迟控制 将延迟嵌入到赋值语句中，放在赋值符的右边 行为级建模 ③ 零延迟控制 零延迟控制可以保证带零延迟控制的语句将在执行时刻相同的多条语句 中最后执行，从而避免发生竞争。 但如果存在多条带有零延迟的语句，它们之间的执行顺序不确定的。 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 ⑶ 电平敏感时序控制 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 行为级建模 （举例：四选一多路选择器） （举例：四选一多路选择器） （举例：四选一多路选择器） （举例：四选一多路选择器） （举例：脉动进位计数器） （举例：脉动进位计数器） （举例：脉动进位计数器） （举例：脉动进位计数器） ⑶ repeat 循环 repeat循环的功能是执行固定次数的循环 循环的次数必须是一个常量、一个变量或一个信号 如果循环次数是变量或信号，取循环开始执行时变量或信号的值，而不是循环执行期间的值 ⑷ forever 循环 永久循环，执行无限的循环直到遇到系统任务 $finish 如果需要从 forever 循环中退出，可以使用 disable 语句 通常forever循环和时序控制结构结合使用 顺序块和并行块 块语句的作用？ 行为级块语句的两种类型：顺序块和并行块 ⑴ 顺序块 ⑵ 并行块 并行块为我们提供了并行执行语句的机制，但如果两条语句在同一时 刻对同一变量影响，则会引起隐含的竞争这种情况要避免 块语句的三个特点：嵌套块、命名块和命名块的禁用 ① 嵌套块 块可以嵌套使用，顺序块和并行块能够混合在一起使用 ② 命名块 块可以有自己的名字 命名块中可以声明局部变量 命名块是设计层次的一部分，命名块中声明的变量可以通过层次名引用进行访问 命名块可以被禁用，例如停止执行 ③ 命名块的禁用 关键字disable提供了一种终止命名块执行的方法。 disable可以用来从循环中退出、处理错误条件以及根据控制信号来控制某些代码段是否被执行 与C语言中的break相比较 生成块 生成实例可以是以下的一种或多种类型： 模块 用户自定义原语 门级原语 连续赋值语句 initial块和always块 分析： 程序是否正确？有哪些改进？ 中间的for循环是否能被调用？为什么？ ⑴ 循环生成语句 允许使用者对下面的模块或模块项进行多次实例引用： 变量声明 模块 用户自定义原语、门级原语 连续赋值语句 initial块和always块 关键字generate-endgenerate来指定生成块的范围 仿真开始，先将生成块中的代码展平 关键词genvar用于声明生成变量，只能用在生成块中，确立后的仿真代码中不存在 生成变量的值只能由循环生成语句来改变 循环生成语句可以嵌套，但是用同个生成变量作为索引的循环生成语句不能相互嵌套 层次化引用xor_loop[0].g1, xor_loop[1].g1，……，xor_loop[31].g1 ⑵ 条件生成语句 类似i