从验证的角度，systemverilog和systemc谁更合适

Posted 2023-05-04

参考技术A systemverilog和systemc谁更合适
System C是一种软/硬件协同设计语言,一种新的系统级建模语言。

研究表明，具有较高的抽象能力，同时能体现出硬件设计中的信号同步、时间延迟、状态转换等物理信息的语言，才能给工程师提供一个系统级设计的公共基础平台。在我们常用的设计语言中，C、C++ 和Java等高级编程语言有较高的抽象能力，但由于不能体现硬件设计的物理特性，硬件模块部分需重新用硬件描述语言设计，使得后续设计缺乏连贯性；而VHDL,Verilog最初目的并不是进行电路设计，前者是用来描述电路的，而后者起源于板级系统仿真，因此它们并不适合进行系统级的软件和算法设计，特别是现在系统中的功能越来越多的由软件来完成时。

SystemC既是系统级语言，也是硬件描述语言。《SystemC入门》介绍的是SystemC2.0标准，主要介绍SystemC有关硬件建模方面的语法特性，换言之，是介绍SystemC的RTI.可综合子集。其主要内存包括：SystemC数据类型、组合逻辑建模，同步逻辑建模、三态驱动器建模、常用的设计函数模型，测试平台的编写及系统级建模的功能等。随书附带l张光盘，内含《SystemC入门》所有例子的代码。《SystemC入门》所有例子都经SystemC2.0.1的验证。《SystemC入门》可作为想要了解和学习SystemC的设计工程师和系统工程师的参考书，也可用做大学讲授体系结构、数字设计或系统设计课程的教材。

你可以看看《systemc入门》这本书，很好的，介绍非常详细，而且里面有不少的图表介绍设计的流程。 其实最大的区别是SystemC对于系统架构的探索具有很有作用，但真正的RTL级电路设计，还是以VerilogHDL和VHDL为主的。

systemverilog 断言中assume 和assert的区别

参考技术A assume用于做formal verification，如果输入和assume不一样，会出错, 断言（assert）可以用来检查行为或者时序的正确性。
Mentor 的文档说的比较清楚
Example 2-7 defines two cut points (p and q) in order to explore a hard-to-prove assertion
(assert property (r_eq_s)) by reducing the problem to one that can be analyzed successfully.
The variables p and q are large arithmetic expressions, which are typically hard to analyze.
Suppose heuristic knowledge indicates p must be 3, 4 or 5. Then, by adding an assumption for this (i.e., assume property (values_of_p)), the assertion can be proven.
Example 2-7. User-defined Cut Point dut.v
module dut(clk, rst, a, b, c, d, e, f);
input clk, rst;
input [31:0] a,b,c,d,e,f;
wire [31:0] p,q,r,s;
assign p = a * b + (c - d) * (b - f) * (e*f);
assign q = d + e + f + e*e + f*f + a*a;
assign r = (p + 1) + (q - 1) + p;
assign s = 2*p + q;
property r_eq_s;
@(posedge clk) disable iff (rst) r==s;
endproperty
property values_of_p;
@(posedge clk) disable iff (rst) p==3 || p==4 || p==5;
endproperty
assert property (r_eq_s);
assume property (values_of_p);
endmodule本回答被提问者和网友采纳