Login / Signup

Model-based functional verification.

Kenneth S. KundertHenry Chang
Published in: DAC (2010)
Keyphrases
  • functional verification
  • formal verification
  • real time
  • load balancing