DMCA
Transaction-based Waveform Analysis for Functional Verification in IP Selection ABSTRACT (2001)
BibTeX
@MISC{Liu01transaction-basedwaveform,
author = {Jian Liu and Eugene Shragowitz and Jian Liu and Eugene Shragowitz},
title = {Transaction-based Waveform Analysis for Functional Verification in IP Selection ABSTRACT},
year = {2001}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Functional verification is an important aspect of IP selection. Formal verification and logic simulation are two traditional approaches to this problem. Both techniques have substantial limitations. A method described in our work combines these two basic approaches 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.
Keyphrases
functional verification transaction-based waveform analysis ip selection abstract formal regular expression technique ip selection meaningful transaction level verification substantial limitation ip suitability basic approach formal verification important aspect effective verification logic simulation work combine traditional approach
