Towards an efficient assertion based verification of SystemC designs.

Ali Habibi Sofiène Tahar

Published in: HLDVT (2004)

Keyphrases

formal verification
computer vision
decision making
artificial intelligence
signature verification
asynchronous circuits