Login / Signup
Efficient equivalence checking of multi-phase designs using phase abstraction and retiming.
Gagan Hasteer
Anmol Mathur
Prithviraj Banerjee
Published in:
ACM Trans. Design Autom. Electr. Syst. (1998)
Keyphrases
</>
learning phase
database systems
database
website
databases
training phase