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.