Login / Signup
Accounting for Various Register Allocation Schemes During Post-Synthesis Verification of RTL Designs.
Nazanin Mansouri
Ranga Vemuri
Published in:
DATE (1999)
Keyphrases
</>
allocation scheme
resource allocation
model checking
model based diagnosis
texture synthesis
formal verification
optimal allocation
face verification
verification method
design space exploration