systemverilog语法

Systemverilog 数据类型

l 合并数组和非合并数组 1）合并数组：

存储方式是连续的，中间没有闲置空间。

例如，32bit的寄存器，可以看成是4个8bit的数据，或者也可以看成是1个32bit的数据。

表示方法：

数组大小和位，必须在变量名前指定，数组大小必须是【msb：lsb】 Bit[3:0] [7:0] bytes ；

2）二维数组和合并数组识别：

合并数组： bit [3:0] [7:0] arrys; 大小在变量名前面放得，且降序 二维数组： int arrays[0:7] [0:3] ; 大小在变量名后面放得，可降序可升序

位宽在变量名前面，用于识别合并和非合并数组，位宽在后面，用于识别数组中元素个数。

3）非合并数组

一般仿真器存放数组元素时使用32bit的字边界，byte、shortint、int都放在一个字中。 非合并数组：字的地位存放变量，高位不用。 表示方法： Bit [7:0] bytes;

4）合并数组和非合并数组的选择

（1）当需要以字节或字为单位对存储单元操作。

（2）当需要等待数组中变化的，则必须使用合并数组。例如测

Systemverilog 数据类型

l 合并数组和非合并数组 1）合并数组：

存储方式是连续的，中间没有闲置空间。

例如，32bit的寄存器，可以看成是4个8bit的数据，或者也可以看成是1个32bit的数据。

表示方法：

数组大小和位，必须在变量名前指定，数组大小必须是【msb：lsb】 Bit[3:0] [7:0] bytes ；

2）二维数组和合并数组识别：

合并数组： bit [3:0] [7:0] arrys; 大小在变量名前面放得，且降序 二维数组： int arrays[0:7] [0:3] ; 大小在变量名后面放得，可降序可升序

位宽在变量名前面，用于识别合并和非合并数组，位宽在后面，用于识别数组中元素个数。

3）非合并数组

一般仿真器存放数组元素时使用32bit的字边界，byte、shortint、int都放在一个字中。 非合并数组：字的地位存放变量，高位不用。 表示方法： Bit [7:0] bytes;

4）合并数组和非合并数组的选择

（1）当需要以字节或字为单位对存储单元操作。

（2）当需要等待数组中变化的，则必须使用合并数组。例如测

=阻塞串行

<=非阻塞并行

1）时序逻辑----使用非阻塞赋值 2）锁存器----使用非阻塞赋值

3）用always块生成的组合逻辑----用阻塞赋值 4）在同一个always块中既有时序逻辑又有组合逻辑--- 用非阻塞赋值

5）在同一个always块中不要既用阻塞赋值又用非阻塞赋值 6）不要在一个以上的always块中对同一个变量赋值 7）用$strobe显示用非阻塞赋值指定的变量值

8）不要用 ＃0 过程性赋值Modport将信号分组并指明方向

函数不能消耗时间，不能有#100@(posedge clk)wait之类的阻塞语句

Interface arb_if(input bit clk); Logic [1:0] a,b; Logic rst;

Modport test(output a,rst, Input b,clk); Endinterface

Module arb(arb_if.test arbif); ………… Endmodule

数组定位

Int tq[$],d[]=’{9,1,8,3,4,4};

Tq=d.find_index(x) with (item>3); //{0,2,4,5}得到的是脚标

Bind: very useful in systemverilog. Assertion:

1．## “a ##3 b”意思是a 之后3个周期b….

2．“|->”表示如果先行算子匹配，后序算子在同一周期开始计算 3．“|=>”表示如果先行算子匹配，后序算子在下一个周期开始计算 4．重复操作符：

* ** ***

连续重复“[*m]”: “a[*1:3]”表示a被连续重复1~3次 跳转重复 “[->]”: “a[->3]”表示a被跳转重复3次 非连续重复 “[=m]”: “a[=3]”表示a被非连续重复3次

芯片设计：verilog断言（SVA）语法

断言assertion被放在verilog设计中，方便在仿真时查看异常情况。当异常出现时，断言会报警。一般在数字电路设计中都要加入断言，断言占整个设计的比例应不少于30%。以下是断言的语法：

1. SVA的插入位置：在一个.v文件中： module ABC (); rtl代码 SVA断言

endmodule

注意：不要将SV

本教程将介绍新引入Systemverilog的数据类型。他们大多数是可综合的，而且使得RTL级描述更易于被编写和理解。

整型和实型

SystemVerilog 引入了几种新的数据类型。C语言程序员会熟悉其中的大多数。引进新的数据类型构思是这样的，如果C语言和SystemVerilog有相同的数据类型的话可以使C语言算法模型更容易的转化为SystemVerilog模型。

Verilog的变量类型是四态类型：即0，1，X（未知值）和Z（高阻值）。SystemVerilog新引入了两态的数据类型，每一位只可以是0或者1。当你不需要使用的X和Z值时，譬如在写Testbench和做为For语句的循环变量时。使用两态变量的RTL级模型，可以使仿真器效率更高。而且使用得当的话将不会对综合结果产生任何的影响。

两态整型 类型 描述 例子 bit [3:0] a_nbit 用户定义大小 ibble; 8 bits, unsigned（无byte byte a, b; 符号） shorti16 bits, signed（有shortint c, nt 符号） d; 32 bits, signed（有int int i,j; 符号） longin64 bits,

SystemVerilog断言学习笔记1

一、前言

随着数字电路规模越来越大、设计越来越复杂，使得对设计的功能验证越来越重要。首先，我们要明白为什么要对设计进行验证？验证有什么作用？例如，在用FPGA进行设计时，我们并不能确保设计出来的东西没有功能上的漏洞，因此在设计后我们都会对其进行验证仿真。换句话说，验证的目的是彻底地验证被测设计以确保设计没有功能上的缺陷。而即将介绍的SystemVerilog断言便是一门重要的验证技术，它可以尽早发现设计的缺陷以及提高验证的效率。

二、基本概念

1、什么是断言

断言是设计属性的描述。而断言可以从设计的功能描述中推知，然后转换成断言。那么断言是如何表现的呢？当一个被检查的属性不像我们期望的那样表现时，则该断言失败；当一个禁止在设计中出现的属性发生时，则该断言失败。 2、为什么要使用SystemVerilog断言

Verilog HDL也能实现断言，但其存在不足之处：

? ? ? ?

Verilog HDL是一种过程语言，不能很好地控制时序；

Verilog HDL是一种冗长的语言，随着断言数量的增加，维护代码将变得很困难； 语言的过程性使得测试同一时间段内发生的并行事件相当困难； Ver

现代汉语课堂讲稿

第五章：语法

第一节：语法概说

在没有正式给出“语法”的定义前，请同学们看下面的两组例子： （1） 太阳升起在浩荡的平原上。

（2） 我们充分利用本地资源制造农业机械化的道路。 （3） 在参观期间发生的令人感动的美丽事情层出不穷。 （4） 其实对这一点我也以前不是十分清楚。 （5） 尽管天塌下来，我也能顶得住。

（6） 我看书的入神时，不时门开了，好几个同学进来。

（注：引自叶蜚声、徐通锵《语言学纲要》）

（7） 太阳升起在广阔的平原上。

（8） 我们充分利用本地资源开辟农业机械化的道路。 （9） 在参观期间发生的令人感动的美丽事情层出不穷。 （10）其实对这一点我以前也不是十分清楚。 （11）即便天塌下来，我也能顶得住。

（12）我看书看得入神时，不时有同学开门进来。

一、语法与语法体系

1、语法是词、短语、句子等语言单位的结构规律。（注：是“规律”，而不是“规则”，为什么？）

语法有两个含义：1、指语法结构规律本身，即平常说的语法事实。2、指语法学。是研究、描写、解释语法结构规律的科学，是对客观存在着的语法系统的认识与说明。

2、语法体系也有两个含义：1、指语法系统，即客观

①41 韩语语序一般是:主语+宾语+谓语 S O V

韩语中体词后接助词，谓词后接词尾 ? ?? ?? > ?? ??? ??? 我 读 报纸 \\助词/ 词尾

①42 -?/???. 谓后 陈述终结词尾 表示尊敬语气 去 ??? / 吃 ????

①43 -?/???? 谓后 疑问终结词尾 表示尊敬语气

去吗？???? / 吃吗？?????

①43 -?? 体后 谓格助词：-是

体词做谓语必须接??，开音节可省略? “体词+??”可看成是谓词,可有各种变化 ???? 是学生 / ??(?)? 是男子

????? 是学生 / ?????? 是学生吗？

①44 -?/? 体后 表示主语 接于体词后，表示它所陈述的主体 ?? ???????. 我是韩国人 ?? ??? ????. 他在公司工作

①51 -?/? 名后 目的格助词

篇一：日语基础语法

日 语 基 本 语 法

一、判断句：体言+判断助动词作谓语的句子叫判断句，表示对事物的判断。判断助动词です用于敬体句，判

断助动词だ用于简体句。体言没有词尾的变化，要依靠助动词进行相关的语法变化。助动词区别

于助词的一个最显著的特点就是有词形的变化。

判断助动词变化表

判断句句型（以敬体为例）：

句型1、现在时肯定句：……は……です。?是?

は：提示助词，在句中读成わ。接在体言或其它词后，把某种事项提示出来加以判断、强调、说明或叙述。接体言后在句中可构成主语。

です：判断助动词。接体言后作谓语，相当于汉语的“是”。

·私は学生です。/我是学生。 ·これは新聞です。/这是报纸。

现在时否定句：……は……ではありません。?不是?

·私は学生ではありません。/我不是学生。 ·それは雑誌ではありません。/那不是杂志。

过去时肯定句：……は……でした。 ?过去是?

·私は学生でした。/我原来是学生。 ·あそこは図書館でした。/那里过去是图书馆。

过去时否定句：……は……ではありませんでした。 ?过去不是?

·ここはデパートではありませんでした。/那里过去不是商场。

·彼は医者ではありませんでした。/他原来不是医生。

句型2、……は……ですか。判断句的疑问句，用于提问

动词第三人称单数 一． 【语法要点】 ※ 动词有三单，快点成习惯，体会在心里，一定要过关。

主语―他她它，油水米或沙‖，主语判断准，三单管住它。 ※ 三单s加，词尾―是稀奇‖，es当尾巴。否定和疑问，does为老大，后面去尾巴。 ※ 三单最会打，打就打死（does）它，只准打一次，打掉小尾巴。

记住以上这些话，考试、说话不犯法（合乎语法）。

二．判断下列句子是否有三单 1. 妈妈爱我。我也爱她。

My mother loves me. I love her, too. 2. 爸爸打我。我不打他。

My father beats me. I don‘t beat him. 3. 他学英语。她学画画。

He studies English. She learns to draw. 4. 杰克上学。玛丽在家。

Jack goes to school. Mary stays at home. 5. 哥哥洗脸。妹妹刷牙。

My brother washes his face. My sister brushes her teeth. 6. 小猫钓鱼。鹦鹉说话。（parrot） The cat goes fishing. The parr