本節主要內容：動態數組，隊列，聯合數組，數組基本操作，結構體類型，枚舉類型 一：動態數組 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）直接 ...