verilog case语句_Verilog中generate的使用

本文从微信公众号--数字IC小站，​转载，欢迎关注，微信公众号更新更多更快~

https://mp.weixin.qq.com/s/QDUCofxdDAMT8SJvJgaXMA​mp.weixin.qq.com

Verilog中的generate语句常用于编写可配置的、可综合的RTL的设计结构。它可用于创建模块的多个实例化，或者有条件的实例化代码块。然而，有时候很困惑generate的使用方法，因此看下generate的几种常用用法。

generate的结构类型

我们常用generate语句做三件事情。一个是用来构造循环结构，用来多次实例化某个模块。一个是构造条件generate结构，用来在多个块之间最多选择一个代码块，条件generate结构包含if--generate结构和case--generate形式。还有一个是用来断言。

在Verilog中，generate在建模（elaboration）阶段实施，出现预处理之后，正式模拟仿真之前。因此。generate结构中的所有表达式都必须是常量表达式，并在建模（elaboration）时确定。例如，generate结构可能受参数值的影响，但不受动态变量的影响。

Verilog中的generate块创建了新的作用域和新的层次结构，就像实例化模块一样。因此在尝试对generate块中的信号进行引用时，很容易因此混乱，因此请记住这一点。

1.generate循环结构

generate循环的语法与for循环语句的语法很相似。但是在使用时必须先在genvar声明中声明循环中使用的索引变量名，然后才能使用它。genvar声明的索引变量被用作整数用来判断generate循环。genvar声明可以是generate结构的内部或外部区域，并且相同的循环索引变量可以在多个generate循环中，只要这些环不嵌套。genvar只有在建模的时候才会出现，在仿真时就已经消失了。

在“展开”生成循环的每个实例中，将创建一个隐式localparam，其名称和类型与循环索引变量相同。它的值是“展开”循环的特定实例的“索引”。可以从RTL引用此localparam以控制生成的代码，甚至可以由分层引用来引用。

Verilog中generate循环中的generate块可以命名也可以不命名。如果已命名，则会创建一个generate块实例数组。如果未命名，则有些仿真工具会出现警告，因此，最好始终对它们进行命名。

我们来看个关于generate循环的例子：

仿真代码如下：

仿真结果如上所述，那么generate for循环和普通的for循环相比有什么优点呢？通常，generate for循环和普通 for循环之间的主要区别在于generate for循环正在为每次迭代生成一个实例。这意味着在上述示例中将始终有2个实例块（与常规循环情况下的1个块相反）。

2.条件if-generate构造

条件语句从很多的备选块中选择最多一个generate块，请注意，在这我说的是最多，因为有可能是一个也不选择的。在建模中，条件必须为常量表达式。

条件if-generate不关心是否命名，并且可以不具有begin / end。当然，上述两个条件只能包含一项。它也会创建单独的范围和层次结构级别，这个和generate循环是一样的。由于最多选择一个代码块，因此在单个的if-generate中以相同的名称命名所有的备用代码块是合法的，而且这有助于保持对代码的分层引用。但是，不同的generate构造中必须具有不同的名称。

仿真结果如下：因此，generate可以代替if..else,并且是在不需要时钟的情况下，可以选择实例化不同的模块。注意，此种写法中，是不含有genvar的。

3.条件case-generate构造

与if-generate类似，case-generate也可用于从几个块中有条件地选择一个代码块。它的用法类似于基本case语句，并且if-generate中的所有规则也适用于case-generate块。

此generate构造将最多选择一个名为u1的块。该块中的门实例的层级名称为test.u1.g1。

4.断言和形式验证

在编写断言时，generate构造也非常有用，这反过来有助于形式验证。例如，如果有一个具有8个REQquest输入和8个ACK输出的仲裁器块，那么与其编写单个断言来覆盖所有8个REQ / ACK对，不如将其分解为具有1个REQ / ACK的8个独立断言每个声明对。

换个例子，假设我们需要对一个双向的系统，含有客户端和服务器端，需要对双向进行断言，我们可以使用generate构造，将属性定义为assert或者assume等。

5.层次化访问生成的模块

前面也提到过，使用generate会产生层次化，并且选择的模块或者产生的模块都会具有一个名称。如果未命名，则编译器将自动分配一个通用名称。

要访问generate块中的模块项，您必须使用.进行分层访问。

总结

generate构造是创建可配置RTL的强大方法，该RTL可以根据参数设置具有不同的行为。generate循环允许代码由索引控制多次实例化。条件generate可以有条件地实例化代码。关于generate构造的最重要建议是始终为它们命名，这有助于简化层次结构引用和代码维护。

---

只争朝夕，不负韶华，为实现中华民族伟大复兴而奋斗。