枕猫睡

构造函数 SystemVerilog可以在创建对象时初始化实例。变量声明创建一个类 Packet的对象。在实例的过程中，会调用new 函数，在这个函数中可以完成初始化，ne...

class 是一种类型，包括数据和对这些数据进行操作的子例程（函数和任务）。class的数据称为class properties，其子例程称为methods；都是这个cla...

介绍了FPV的基本概念、基本的FPV环境、FPV和模拟不同之处、在什么情况下使用哪些方法来运行FPV。...

关于《Formal Verification An Essential Toolkit for Modern VLSI Design》全书主要内容翻译的章节介绍。...

立即断言与仿真一块使用；并发断言基于时钟语义并使用表达式的采样值。 断言主要用于验证设计的行为，且可用于提供功能覆盖，以及对用于验证不符合假设要求的输入激励（input s...

Linux 的学习对于一个程序员的重要性是不言而喻的。前端开发相比后端开发，接触 Linux 机会相对较少，因此往往容易忽视它。但是学好它却是程序员必备修养之一。 如果本文...

默认disable iff声明的作用，与声明在该范围内的位置无关，同一模块、接口、程序声明或生成块中多个默认disable iff声明应为错误，该作用域不会扩展到模块、接口...