Login / Signup

Formal equivalence verification and debugging techniques with auto-correction mechanism for RTL designs.

Bijan AlizadehPayman Behnam
Published in: Microprocess. Microsystems (2013)
Keyphrases