并未打算完全学习完sv的语法,只是为了更好的 使用关于sv的平台验证的能力,使得每次综合后 的结果不会因为综合工具的变化而改变。 鉴于目前国内的关于sv的入门书籍极少 还是请各位查看相应的官方的编程语言手册
博主是先前学习过verilog,过渡到sv较为简单
====================================
systemverilog 以.sv文件结尾 sv中的操作符: == != : 这两种表示逻辑符合与逻辑不符 , 如若其中存在有x或者z,那么得到的结果 则是z === !== : 严格匹配x与z,但此条语句不可综合。 ==? !=? : 在其中x与z为无关项,若右操作数为常数,则可综合。
加入延迟: #(n timedelay_uint) 加入延迟事件 #(min:typical:max,min:typical:max,min:typical:max) 加入上升延迟与下降延迟,还有截止延迟
编写的技巧: 使用parameter语句添加参数,使模块参数化,,使得模块可以重复使用。实现代码复用。
关于sv的testbench的一个发现:
module TestAnd2;
wire a , b , c ;
And g1(c,a,b);
intial begin
a = '0;
b = '0;
#100ps a = '1;
#50ps b = '1;
end
endmodule
testbench中的wire变量类型可以直接通过赋值语句赋值了,而不再需要写成 output reg 的类型了。
实在是一大惊奇的发现!!!
同时sv可以使得延迟的事件带有时间单位,并且在实例化一个module时,若其端口名与链接名是一致的,
那么则可使用module_name(.*)的简写方式
sv的数据类型: char:一个两态的有符号变量,它与C语言中的char数据类型相同,可以是一个8位整数(ASCII)或short int(Unicode); int:一个两态的有符号变量,它与C语言中的int数据类型相似,但被精确地定义成32位; shortint:一个两态的有符号变量,被精确地定义成16位; longint:一个两态的有符号变量,它与C语言中的long数据类型相似,但被精确地定义成64位; byte:一个两态的有符号变量,被精确地定义成8位; bit:一个两态的可以具有任意向量宽度的无符号数据类型,可以用来替代Verilog的reg数据类型; logic:一个四态的可以具有任意向量宽度的无符号数据类型,可以用来替代Verilog的线网或reg数据类型,但具有某些限制; shortreal:一个两态的单精度浮点变量,与C语言的float类型相同; void:表示没有值,可以定义成一个函数的返回值,与C语言中的含义相同。
Combine Logic: always_comb 语句描述:组合逻辑专用的描述方式,通过延迟赋值语句来使用。 同时verilog支持int型的自动转换,使得结果,但需要注意这可能会带来一些错误。所以尽量不要使用这种特性。
casez与casex: casez忽略z,将其看为?;而casex忽略x,z,将其看为?
/*******************************************************************
作为一个严谨的电子工程师,需要坚决不用casex,casez
避免仿真前后不一致的可能!!!!!!!!!!!!!
*******************************************************************/
在描述组合逻辑的情况下,使用casez可能会引来overlap的问题。 所以需要使用unique语句来比避免重复。
另外与其相近的的语句是priority,它一般结合if,elseif,else使用,
确保至少分支有一个语句是执行了的,它默认存在有优先级。
下面是关于 Ripple Adder的例子 :
基本的全加器模型:
module fulladder( output logic sum , cout ,
input logic a , b , cin );
always_comb begin
{ cout , sum } = a + b + cin ;
end
endmodule
最后做出的级联加法器:
module ripple #( parameter N = 4 )
( output logic [N-1:0] sum , output logic cout ,
input logic [N-1:0] A , B , input logic cin );
logic [N-1:1] ca ;
genvar i ;
fulladder f0(sum[0], ca[1] , A[0] , B[0] , cin );
generate for( i = 0 ; i < N-1 ; i++ )
begin: f_loop
full_adder fi(sum[i],ca[i+1],A[i],B[i],ca[i]);
end
endgenerate
fulladder fn(sum[N-1] , cout , A[N-1] , B[N-1] , ca[N-1] );
endmodule
// 单独的实例化可以同generate配合使用,这样可以少写判断语句。
module ripple #( parameter N = 4 )
( output logic [N-1:0] sum , output logic cout ,
input logic [N-1:0] A , B , input logic cin );
logic [N-1:1] ca ;
genvar i ;
task automatic fulladder( output logic sum , cout ,
input logic a , b , cin ) ;
begin
sum = a ^ b ^ sum ;
cout = a&b | a&cin | b&cin ;
end
endtask
always_comb fulladder(sum[0], ca[1] , A[0] , B[0] , cin );
generate for( i = 0 ; i < N-1 ; i++ )
begin: f_loop
always_comb
full_adder(sum[i],ca[i+1],A[i],B[i],ca[i]);
end
endgenerate
always_comb fulladder(sum[N-1] , cout , A[N-1] , B[N-1] , ca[N-1] );
endmodule
// generate 并不只是实例化module对象,还可以实例化逻辑语句。
关于wire与logic的区别:
在sv中常常看到logic而极少看到wire类型的出现,虽然他们的公用基本相同,但还是
有部分不一致的地方。
在存在三,四态或总线的情况下,也就是说可能出现z,x,则需要使用wire类型的变量