【Verilog】UDP用户原语

发布于:2024-12-21 ⋅ 阅读:(201) ⋅ 点赞:(0)

Verilog HDL(简称 Verilog )是一种硬件描述语言,用于数字电路的系统设计。可对算法级、门级、开关级等多种抽象设计层次进行建模。

Verilog 不仅定义了语法,还对语法结构都定义了清晰的仿真语义。因此,Verilog 编写的数字模型就能够使用 Verilog 仿真器进行验证


概述


在使用 Verilog 进行门级建模的时候,除了使用内置的门单元(and、or、nor等)之外,还可以使用自定义的逻辑门,这些自定义的逻辑门就是 User-defined primitives (UDPs)。

and、or、nor 等这些门单元属于是 Verilog 自带的一整套标准原语,即通常所说的内置原语。

但是当我们需要使用更加复杂的门电路的时候,这些内置原语不能满足需求,就需要使用 UDPs。

UDPs的出现,给予了IC工程师定义自己设计的基本逻辑元件的能力。但是 UDP 语句没有办法综合,因此它更多的使用在验证功能上。

UDPs 可以分为如三类:

  • 组合逻辑 UDPs
  • 时序逻辑 UDPs
  • 混合型 UDPs

基本语法


UDPs 的基本结构如下:

primitive name(/*在括号内定义端口*/); 

	table
		/*在这里定义输入与输出的的关系*/
	endtable

endprimitive

① primitive 和 endprimitive 类似于 module 和 endmodule;

② UDP可以有多个输入,但是只能存在一个输出,在端口声明的时候,输出端口需要处在第一个的位置上;

③ inout 双向端口在UDP中不被允许,同时无论是输入端口还是输出端口都必须是标量(即一位位宽);

④ 时序逻辑UDP,输出端口都需要定义成reg型;

⑤ 时序逻辑的UDP中,可以使用 initial 语句对 reg 类型变量(输出)进行赋初值;


组合逻辑的UDP


使用 UDPs 定义的一个 mux 如下所示:

primitive mux_tmp (q,d0,d1,s);
	output q;		// 输出端口放在第一个
	intput s,d0,d1;
	table
	//	d0	d1 	s	:	q
		0	?	0	:	0 ;
		1	?	0	:	1 ;
		?	0	1	:	0 ;
		?	1	1	:	1 ;
		0	o	x	:	0 ;
		1	1	x	:	1 ;
	endtable
endprimitive

关于状态表:

① 状态表的每一行的输出端口顺序一定要和端口列表相同;

② 输入和输出之间使用 : 隔开,每一行以 ; 结束;

③ 状态表中的值可以包含 0、1 或 x ,? 表示的是无关项。UDP不能处理z值,输入UDP的 z 值被当作 x 值处理;

④ 尽可能完整的列出UDP中的状态表,对于没有给出的输入组合情况,默认输出为不定态 x;


时序逻辑的UDP


① 时序逻辑的 UDP 的输出必须声明为 reg 类型,并且可以使用 initial 进行初始化;

② 时序逻辑 UDP 状态表的每一行内容为:<输入1><输入2>…<输入N> : <当前状态> : <下一状态>

③ 状态表的输入项可以是电平或者跳变沿的形式,输出项中的 - 表示的是状态保持不变

④ 当前状态是寄存器的当前值,下一状态是计算得到值会被存到寄存器中成为新值。


示例1:电平敏感

带清零端口的电平敏感的锁存器对应的 UDP 如下所示:

primitive latch(output reg q = 0
                input d, clock, clear);
	initial q = 0; 	// 锁存器的初始值为 0
	table  
		//	d   clock   clear  :  q : q+;
			?     ?       1    :  ? : 0;
		//	clock = 1 时将 d 值锁存到 q 中
			1     1       0    :  ?1;
			0     1       0    :  ? : 0;
			?     0       0    :  ? : -;
	endtable
endprimitive

示例2:边沿敏感

带清零端口,时钟下降沿敏感的 D 触发器的 UDP 如下:


primitive edge_dff(output reg q=0
                    input d, clock, clear);
table
//  d  clock clear : q : q+;
    ?    ?    1    : ? : 0 ;
    ?    ?    (10) : ? : - ;    //(10) 由1向0跳变
    1    (10) 0    : ? : 1 ;
    0    (10) 0    : ? : 0 ;
    ?    (1x) 0    : ? : - ;    //(1x)由1向不确定状态跳变
    ?    (0?) 0    : ? : - ;    
    ?    (x1) 0    : ? : - ;
    (??) ?    0    : ? : - :    //(??)信号值再0,1,x三者之间任意跳变
endtable
endprimitive

UDP 符号表


在这里插入图片描述


网站公告

今日签到

点亮在社区的每一天
去签到