SV工程杂记_sv while-优快云博客

本文链接：https://blog.youkuaiyun.com/qq_40571921/article/details/122328614

本文介绍SystemVerilog中的实用技巧，包括多线程并行执行机制、随机化约束应用、伴随线程设计及变量随机化方法等。此外还涉及$sscanf系统函数的使用及动态数组作为方法参数的应用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1、创建多个并行的线程：参考绿皮书P186 例子7.11

在sv里面，会先执行循环体（父进程），再将循环体里面的子进程展开后再启动并行执行。fork操作会把每一个子进程添加到一个进程管理器中，但是不会对其立即执行。当父进程结束了循环体或挂起后，进程管理器才会执行其列表中的子进程。（参考：《system verilog与功能验证》P72）

2、assert（XX.randomize（） with {AA >= 100;} ）；绿皮书 P151 // AA声明前面必须有rand或randc，不然不能把约束加进来；

3，随机一个变量：

void’（std：：randomize（your_var） with { your_var dist {0：/10，[1:100]:/10,999:/10 } ；

your_var[3:0] == 0; } ）；

4、伴随线程（随便取的名）：

fork
    while（1） begin  进行检查什么的 end
    while（1） begin  搜索结束条件什么的 end
join_any

$sscanf系统函数

$sccanf的三个参数，第一个是扫描对象，第二个是扫描格式，第三个是提取出来的参数。它是具有返回值的，如果扫描不成功则返回0，如果扫描成功，每提取一个数据（即args的个数），则返回值加1。提取不会改变str值，除非将str作为args。

Some examples of sscanf:

This call to sscanf will return 1, and the variable a will be given the value "oo":
sscanf("foo", "f%s", a);
The return value from sscanf will be 2. a will be given the value 4711. b will be given the value "bar".
sscanf("4711bar", "%d%s", a, b);
The return value from sscanf will be 1, a will be given the value "test":
sscanf(" \t test", "%*[ \t]%s", a)
This removes "the " from the beginning of the string in str. If str does not begin with "the ", it will not be changed
sscanf(str, "the %s", str);
This assigns "foo" to s1 and "fum" to s2, and the array ({ ({ 1 }), ({ 2 }), ({ 3 }) }) to a. The return value will be 3.
```
sscanf("foo % 1 2 3 fum",
       "%s %% %{%d%} %s", s1, a, s2);
```

A feature with sscanf is that you can define variables inside it:

sscanf("foo % 1 2 3 fum",
       "%s %% %{%d%} %s",
       string s1, array(string) a, string s2);

参考： https://docs.roxen.com/pike/7.0/tutorial/strings/sscanf.xml

Systemverilog : $sscanf系统函数-优快云博客

动态数组作为方法的参数：

function    mem_read(input int  addr ,len,output  bit[31:0]  rdata)

    rdata = new[len];
    //read data from mem

endfunction

defparam

起作用的时间： defparam是 Verilog 中的一种参数传递机制，用于在模块实例化时重写参数值。当一个模块引用另外一个模块时，高层模块可以使用defparam改变低层模块用parameter定义的参数值(层次化路径)。defparam起作用的时间是在模块实例化时，它会将指定的参数值传递给被实例化的模块，从而改变模块的行为。