Sign in

Improving the accuracy of rule-based equivalence checking of system-level design descriptions by identifying potential internal equivalences.

Hiroaki YoshidaMasahiro Fujita
Published in: ISQED (2009)
Keyphrases