Efficient equivalence checking of multi-phase designs using retiming.

Gagan Hasteer Anmol Mathur Prithviraj Banerjee

Published in: ICCAD (1998)

Keyphrases

database
neural network
real world
information retrieval
cost effective
design principles