Assertion-Based Verification under Verilog Environment

碩士 === 國立臺灣大學 === 電子工程學研究所 === 91 === 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 verifica...

Full description

Bibliographic Details
Main Authors: Wei-ting Tu, 杜威廷
Other Authors: Sy-yen Kuo
Format: Others
Language:en_US
Published: 2003
Online Access:http://ndltd.ncl.edu.tw/handle/37757606480625608523