A Verification Collaborative Infrastructure Based on Perl and Verilog
碩士 === 國立臺灣大學 === 電機工程學研究所 === 90 === With designs becoming increasingly complex, the scope and scale of verification requirements faced by system, ASIC, and SOC verification engineers have dramatically expanded. This has, in turn, resulted in traditional approaches to functional verific...
Main Authors: | Ming-Tang Chen, 陳銘堂 |
---|---|
Other Authors: | Sy-Yen Kuo |
Format: | Others |
Language: | en_US |
Published: |
2002
|
Online Access: | http://ndltd.ncl.edu.tw/handle/01503659707914437135 |
Similar Items
-
Assertion-Based Verification under Verilog Environment
by: Wei-ting Tu, et al.
Published: (2003) -
Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions
by: Ning Zhou, et al.
Published: (2014-01-01) -
Wu’s Characteristic Set Method for SystemVerilog Assertions Verification
by: Xinyan Gao, et al.
Published: (2013-01-01) -
Hardware/Software Co-Verification Using the SystemVerilog DPI
by: Freitas, Arthur
Published: (2007) -
Hardware/Software Co-Verification Using the SystemVerilog DPI
by: Freitas, Arthur
Published: (2007)