SV中的数据类型
Verilog-1995中规定的数据类型有:变量(reg), 线⽹(wire), 32位有符号数(integer), 64位⽆符号数(time), 浮点数(real)。
SV扩展了reg类型为logic,除了reg类型的功能外,可以⽤在连续赋值,门单元和模块所驱动。但是不能⽤在双向总线建模,不能有多点驱动。
其他数据类型:⽆符号双状态 bit,
有符号双状态32位 int,
有符号双状态8位 byte, //可以⽤内置函数 $isunknown
有符号四状态32位 integer,
⽆符号四状态64位 time,
第一次心动有符号双状态浮点64位 real.
$isunknown()----在操作数中存在X、Z时,返回1。
$bits(expression)----返回expression占的位宽。伊府面
对于四状态类型的数据,缺省值为X,双状态类型的数据,缺省值是0.
很多SV仿真器在存放数据元素的时候都是使⽤32bit的字边界。所以byte、shortint、int都是存放在⼀个字中,longint则存放在两个字中。
对于四状态的数据,SV仿真器通常使⽤两个连续的字或更多的连续的双字来存放它们的值,所以四状态的变量会消耗双倍的空间。
连续的双字,⼀个字存放数据的0/1值,另⼀个字存放x/z状态。
foreach可以进⾏多维数据的递归调⽤,foreach(A[i,j])
定宽数组:
(pack)合并数组:将数组⼤⼩的定义放在等式左边 bit [3:0][7:0] bytes; //4个字节组成⼀个字,储存空间⼀个字。
(unpack)⾮合并数组:将数组⼤⼩的定义放在等式右边 bit [7:0] bytes [4]; //4个字节,这个仍是合并数组,但是4个存储空间不连续,这是⾮合并数组
unpacked array会被认为是⼀个vector,packed array会被认为是⼀个scalar。
unpacked array的声明有两种⽅式:
1. int array [0:7][0:31]; array delaration using ranges
2. int array [8][32]; array delaration using size
当需要和标量进⾏数据交换时,使⽤合并数组很⽅便,⽽且@操作符的数据只能是标量和合并数组。所以推荐使⽤合并数组,还节省空间。
bit [3:0][7:0] barray[3]; //当使⽤@操作符时,只能使⽤@(barray[0] or barray[1] or barray[2])不能使⽤整个barray。
bit [31:0] src[5] = `{0,1,2,3,4}, dst[5] = `{5,4,3,2,1}; //数组的直接初始化
if(src == dst) $display("src==dst"); //数组可以直接进⾏整体的⽐较
dst = src; src[0] = 5; //数组可以直接进⾏整体的赋值和单个的赋值。
数组的系统函数sum, min, max, unique, with, rever, sort, resort, shuffle
int q[4] = ‘{1,3,5,7}, tq[10];
tq = q.min(); //{1}
tq = q.max(); //{7}
tq = q.unique(); //{1,3,5,7}
tq = q.find with (item > 3); //{5,7}所有⼤于3的元素,item这⾥是缺省值,也可以显式的指出。
tq = q.find with(x) (x > 3);
tq = q.find_index with (item > 3); //{2,3}所有⼤于3的元素的index。
tq = q.find_first with (item > 99); //返回第⼀个⼤于99的元素,{}⽆
tq = q.find_first_index with (item > 6); //{3}
tq = q.sum with (item > 6); //{7}
tq = q.rever(); //{7,5,3,1}
tq = q.sort(); //{1,3,5,7}
tq = q.resort(); //{7,5,3,1}
tq = q.shuffle(); //{3,5,1,7} 再随机化⼀个
动态数组:声明时使⽤空[],位宽在编译时不指出,在运⾏时动态分配。使⽤前必须⽤new[]来初始化并分配空间。系统函数size,delete int dyn[];
dyn = new[5];
dyn = new[20](dyn); //分配20个空间,并复制原来的5位数据,放在新的20个空间的前五个。
dyn.delete; //删除整个数组
$size(dyn); //动态数组的个数
队列:在SV中结合了链表和数组的优点,集插⼊与查询的优点于⼀体。声明时使⽤美元符号[$],系统函数inrt, delete, push_front, push_back, pop_front,
中华精神
pop_back。推荐后边的pop, push操作。
int q[$] = {0,2,5}; //初始化,不需要‘
q.inrt(1,1); //{0,1,2,5},在第⼀个元素之前,插⼊1
q.delete(1); //删除第⼀个元素,{0,2,5}
q.push_front(6); //{6,0,2,5}在队列前插⼊6
q.push_back(8); //{6,0,2,5,8}在队列后插⼊8
j = q.pop_front; //pop出队列的第⼀个元素,j=6 q={0,2,5,8}
j = q.pop_back; //pop出队列的最后⼀个元素,j=8 q={0,2,5}
关联数组:SV采⽤树或哈希表的形式来保存,声明时在⽅括号中放置数据类型,如[int], [bit[8:0]]。
bit [63:0] assoc[bit[63:0]], idx =1;
牛杂汤怎么做repeat(64) begin
assoc[idx] = idx; idx = idx<<1; //赋值
end
foreach (assoc[i]) $display ("assoc[%h] =%h", i , assoc[i]); //⽤foreach来遍历
if(assoc.first(idx)) begin
do $display("assoc[h] = %h",idx,assoc[idx]); //do...while遍历,first/next
(idx));
end
ists(idx) ) //exists 系统函数
num()函数和size(),返回哈希的个数,
枚举类型:声明包含⼀个常量名称列表以及⼀个或多个变量。系统函数name(),由变量值返回字符串。first(), last(), next(), prev(),
typedef enum {INIT, DECODE=2, IDLE} fsmtype_e; //INIT的值为0,IDLE的值为2
typedef enum {FIRST=1, SECOND, THILD} ordinal_e; ordinal_e position; //枚举类型默认会存储为int类型,缺省值为0,所以FIRST只能是0
typedef enum {FIRST=0, SECOND, THILD} ordinal_e; right
color = color.first; do begin
$display("Color = %d/%s",color,color.name);
color = ;
end while(color != color.first); //枚举遍历
num(),返回enum中的个数。
字符串:string类型可以⽤来保存字符串,单个字符串是byte类型,采⽤动态分配的储存⽅式,长度为N的字符串,元素编号0-N-1,结尾不带'\0'。
系统函数getc(N), tolower(), putc(N,C), subtr(M,N), len(), toupper()
string s = "IEEE";
$(0)); //返回第零个字符 'I'
$lower() ); //显⽰ 'ieee'
s.putc(s.len()-1,"-" ); //变为 'IEEE-'
s = {s, "P1800"}; //变为 'ieee-P1800'
typedef关键字: typedef reg[OPSIZE-1:0]opreg_t; opreg_t op_a,op_b;
福尔摩斯探案集作者
typedef int fixed_arrays5[5]; fixed_arrays5 f5; //5个数据的数组
struct关键字: struct {bit [7:0] r,g,b;} pixel; 只是声明⼀个pixel变量;
typedef struct packed {bit[7:0] r,g,b;} pixel_p_s; pixel_p_s my_pixel; //packed的⽅式,表⽰合并结构,紧凑的存储⽅式
数据类型转换:静态转换 real j; j=int '(10.1 - 0.1); //强制转换为整型。
流操作符: >>把数据从左⾄右变成流,<<;把数据从右往左变成流。
bit [7:0] j[4] = '{8'ha, 8'hb, 8'hc, 8'hd}; int h;
三年大变样
h = {>>{j}}; //把数据0a0b0c0d打包成整型。
h = {<<{j}}; //把数据倒序b030d050打包成整型。
h = {<<byte{j}}; //0d0c0b0a字节倒序打包成整型。
你所不知道的事{>>h} = j; //把j分散到四个字节变量中。
在流操作符中,还可以直接使⽤with,来动态的显⽰参与运算的数组的区间;
{<< byte {header, len, payload with [0+:len],crc}} = stream;
区间的表⽰可以是[expression: expression],[expression+: expression],[expression-: expression]
SV中可以设置参数化的module/class/interface/mailbox
module ma #(parameter p1 = 1, parameter type p2 = shortint)
(input logic [p1:0] i, output logic [p1:0] o); ..............
endmodule
interface quit_timer_checker #(parameter min_quiet = 0,
parameter max_quiet = 0)
(input logic clk, ret_n, [1:0]en);
endinterface
class vector #(size == 1);
logic [size-1:0] v;
endclass
参数化的打印:sformatf(int_type, "string");
psprintf("string", type);
t membership operator,直接判断某个expression是否在⼀个list中; if(a inside {b,c}) begin
end
if(ex inside {array}) begin 直接⽤在数组判断中
end
part lect操作符:
+:a_vect[ o+: 8] = a_vect[0:7]
-: a_vect[15-:8] = a_vect[8:15]
{},可以拼接字符串,和数值。
n{var},表⽰n个var拼接。
Assignment pattern:'{}来直接赋值。
1) index:value, integer i = ‘{31:1, 23:1,15::1,8:1,default:0 }; int a3[] = '{1, 2, 3}
2) type:value, struct { int a; time b; } key[2];
key = '{ '{a:1, b:2ns}, '{int:5, time:$time} };
3) default:value, int a[3] = '{default:1};
>男生名字古风