Login / Signup

Accounting for Various Register Allocation Schemes During Post-Synthesis Verification of RTL Designs.

Nazanin MansouriRanga 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