原创 System Verilog驗證第十章筆記 - 接口
虛接口 聯繫起UVM來，虛接口就具體了，就是UVM中的virtual interface。 在design頂層實例化實際的接口，通過XMR跨模塊引用的方式把實際的接口連接到驗證平臺的虛接口上。 XMR可以用端口傳遞的方式替代。 接
2020-05-30 23:47:05
5
原创 System Verilog驗證第七章筆記 - 進程間通信
IPC IPC（inter process communicate）方法有：event(@,->),wait/disable,mailbox,semaphore。 線程結構 Verilog的線程結構有begin...end,fork..
2020-05-30 23:47:05
原创 System Verilog驗證第五章筆記 - System Verilog驗證裏的OOP基礎
在System Verilog驗證中應用OOP可以理解爲從過程式驗證平臺向結構式驗證平臺的轉變，可以參照從過程編程語言C向面向對象編程語言C++的轉變。 傳統測試平臺是過程/操作式的，創建事務/發送/接收/檢查結果一步步進行。 基於OOP
2020-05-30 23:47:05
3
原创 perforce help
revert to old version Now is #10, want to revert to #9. p4 filelog a.txt p4 sync a.txt#9 p4 edit a.txt p4 sync … p4
2019-07-05 01:42:18
原创 Linux Shell使用記錄
查看默認用的SHELL 主要可能是bash和csh(tcsh是csh的增強版) echo $SHELL 查看當前系統可用的shell cat /etc/shells bash支持 默認配置~/.bashrc 變量的定義 VAR=X
2019-06-26 04:49:12
原创 極簡仿真環境 with irun/xrun
Basic xrun -sv -top top_module_name top_module_name.sv top_rtl.v plus option -incdir . -incdir ./rtl_define // incl
2019-06-26 04:49:12
545
原创 System Verilog驗證第八章筆記 - System Verilog驗證裏的OOP高級技巧
繼承 基類：也叫父類。 拓展類：也叫子類。 如果基類的構造函數有參數，拓展類必須有構造函數並且在第一行調用基類的構造函數。 子類的約束會覆蓋父類的同名約束。 多態 句柄的聲明類型，句柄的真正指向的對象類型，方法是否定義爲virtual。這
2019-06-11 07:44:35
1
原创 System Verilog驗證第九章筆記 - 功能覆蓋率
如何衡量驗證的進展？ 依靠完善的驗證計劃test plan和對應的功能覆蓋率coverage。 用驗證計劃和對應功能覆蓋率的結果來指導驗證的進展，這樣才能站在更高的抽象層次上看待驗證。 根據功能覆蓋率結果來思考如何提高功能覆蓋率，
2019-06-11 07:44:35
19
原创 System Verilog驗證第十一章筆記 - 完整的驗證平臺
System Verilog和UVM搭建驗證平臺機制分析 用System Verilog搭建完整的驗證環境，核心在於運用回調函數和藍圖模式，可以說是callback機制和blueprint機制。 在System Verilog基礎
2019-06-11 07:44:35
7
原创 linux工作環境配置
linux工作環境配置 linux工作環境下常用的配置包括.cshrc, .vimrc, .dir_colors. -.cshrc配置terminal顯示 -.vimrc配置vi顯示 -.dir_colors配置文件夾顯示 .cs
2018-08-31 10:18:56