本节主要内容：动态数组，队列，联合数组，数组基本操作，结构体类型，枚举类型 一：动态数组 1：基础 　　 在run-time才知道元素个数，在compile-time不知道 　 可以 ...

一：初实assertion 　　断言就是一段描述设计期望行为的代码。 目前， 对断言的使用主要在于仿真， 但断言的能力不仅仅如此。 断言是基于一些更加基础的信息， 我们称之为属性 （ Ｐｒｏｐｅｒｔ ...

本节主要内容：testbench与design的连接，verilog连接testbench与design的方法，SV的interface，stimulus timing，clocking blocks ...

今天在聊天群里遇到一个有意思的问题，提问人的原文如下： “最近用VCS仿真，由于我们的设计很多，需要仿真很长时间，为了减少仿真期间突然断电，而造成的数据损失，能不能每隔几个小时保存一 ...

本节关键字：class，methods，数据及其对数据的操作封装起来，继承（inheritance），多态（polymorphism）等等 一：OOP的概念　　 　　将数据及其对数据的操作封装在一 ...

主要内容：4-state，2-state，固定数组 一：基本数据类型 1：sv的位扩展 　　 2：4-state 　　sv里面使用logic来代替verilog里面的reg，有4值：0，1， ...

本节内容是sv里的剩余语法，task，function，automatic 一：procedural statement 1：新操作符 　　1） i++，++i，i--，--i ...

一：认识sv 1：关键字 　　verification，assertion，coverage，功能验证，simulation技术，OOP属性 2：主要内容 　　（1）verification plan and environment,验证计划，目标 　　（2）sv constructs ...

sv提供了下列处理并发进程的能力： 　　　　fork...join并发结构， 　　　　通过mailbox实现进程间的通信， 　　　　通过semaphore实现进程互斥与仲裁， 　　　　通过ev ...

本节内容：为什么使用随机化，随机化选项，随机化的object等等 一：随机化的目的 1：随机测试与直接测试 　　激励产生是验证中很重要的一个组成部分，激励产生有下面几种可选方法。 　　1）直接 ...