ningjinghai11的博客

第二章 数据类型与编程结构2.1 数据类型2.1.1 两态数据类型两态数据类型：（1 , 0）默认为0    shortint , int , longint , byte , bit4态数据类型：（1 , 0，X , Z）,默认为X    reg ， logic , integer以上，其中bit , reg , logic默认为无符号数。其他默认为有符号数。2.1.2枚举类型1.枚举类型用来声...

第一章 功能验证技术与方法学概要概念：验证平台：testbench测试用例：testcase1.1.2 什么是验证验证的种类：不同的阶段存在不同形式的验证（1）寄存器传输级（RTL）的功能验证（2）门级的仿真，为了验证综合后的网表和期望的功能是否一致（3）形式验证（等价性检查）来确保门级网表和RTL代码的一致性（4）时序验证，为了验证设计能否在特定的频率上运行，通常采用静态验证工具。1.1.4 功...

2.1.4 字符串 string大小可变，动态分配的字节数组。语法：string variable_name [=initial_value];注意字符串的操作符和内置方法的使用。2.1.5 结构体和联合体结构体:struct   联合体：unionstruct {reg [15:0] opcode;reg [23:0] addr;} IR;union {int I;shortreal f;} N...

2.2 过程语句过程语句种类：赋值语句，条件选择语句，循环语句，跳转语句，子程序调用，事件控制2.2.1 赋值语句阻塞赋值语句：=非阻塞赋值语句：<=自加/自减赋值：++，--过程连续赋值语句：assign，deassign，force，release2.2.2控制结构1.条件选择语句(1) if...else(2) case,casex,casezcasex:条件表达式中的x不参与比较；c...