文件名称：时序逻辑-微积分入门Ⅰ 一元微积分 -(日）小平邦彦
文件大小：10.44MB
文件格式：PDF
更新时间：2024-07-29 18:52:35
System Verilog 中文
9.2 组合逻辑 最长静态前缀―P‖的扩展具有如下的定义： 1. 如果 P 不是一个存储器或索引选择，或者 P 是一个合法的字或位选择，那么扩展就是 P 本身。 2. 如果 P 是一个存储器或索引选择，那么扩展是每一个可能的有效的存储器字，只要它带有与 P 匹配的静态前缀。 一个 always_comb 块的隐式敏感列表包括每一个变量或选择表达式的最长静态前缀扩展，只要它们块内读取或在块内的 任何函数调用中读取，但具有下列例外： 1. 在块内或块内调用的任何函数内声明的变量的扩展。 2. 也在块内或块内调用的任何函数内写入的任何表达式。 Group 9.2 组合逻辑 链接 9.2 组合逻辑 9.3 锁存逻辑 第九章 进程 SystemVerilog 3.1a 语言参考手册 9.3 锁存逻辑 第九章 进程 SystemVerilog 还包含了一个特殊的 always_latch 过程来建模锁存逻辑行为。例如： Copy Code always_latch if(ck) q <= d; always_latch 确定它自己的敏感性并且具有与 always_comb 相同的运行方式。如果 always_latch 内的逻辑行为不代 表锁存逻辑，那么软件工具可以执行额外的检查以便给出告警信息。 Group 第九章 进程 链接 第九章 进程 9.4 时序逻辑 第九章 进程 SystemVerilog 3.1a 语言参考手册