圖書標籤: assertion system Verilog SVA 計算機 verification tech-software systemverilog
发表于2024-12-26
System Verilog Assertions應用指南 pdf epub mobi txt 電子書 下載 2024
本書的寫作方式可以使工程師快速掌握System Verilog斷言。第0、1和2章,可以使您充分瞭解基礎語法和一些通用的模擬技巧。閱讀完這三章,讀者應該能在他們的設計/驗證環境中寫斷言。
第3、4、5和6章是不同類型的設計的“烹飪書”。讀者如果在他們自己的環境裏遇到類似的設計可以參考這些章節,以這些章節作為起點開始寫斷言。這些章節也可以作為指導。
隨書附一張光盤。本書中所有例子都可以用VCS 2005.06發行版運行,也包括運行這些例子的腳本範例。VCS是Synopsys公司的注冊商標。
隻看過第一章。寫的太細瞭。。。
評分隻看過第一章。寫的太細瞭。。。
評分easy to learn
評分一本供數字電路驗證員查閱的assertion語法手冊和實例參考。原版成書時也是SystemVerilog-2005標準發布。讀完前0-2章,工程assertion能讀懂;3-7章按需而讀,從中慢慢體會用法。能感覺到作者編例子想深入淺齣囊括所有語法的努力。但閱罷也估計寫不齣一行像樣的testbench,緣知此事要恭行。
評分easy to learn
評分
評分
評分
評分
System Verilog Assertions應用指南 pdf epub mobi txt 電子書 下載 2024