Title
Transaction-based Waveform Analysis for Functional Verification in IP Selection
Abstract
Functional verification is an important aspect of IP selection. Formal verification and logic simulation are two traditional approaches for this problem. Both technqiues have substantial limiations. A methoddescribed in our work combines these two basic approach to achieve effective verification. A formal regular expression technique is merged with the simulation to provide meaningful transaction level verification of IP suitability. Implementation is illustrated by examples.
Suggested Citation
Liu, Jian; Shragowitz, Eugene.
(2001).
Transaction-based Waveform Analysis for Functional Verification in IP Selection.
Retrieved from the University of Minnesota Digital Conservancy,
http://hdl.handle.net/11299/215496.