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.
Liu, Jian; Shragowitz, Eugene.
Transaction-based Waveform Analysis for Functional Verification in IP Selection.
Retrieved from the University of Minnesota Digital Conservancy,
Content distributed via the University of Minnesota's Digital Conservancy may be subject to additional license and use restrictions applied by the depositor.