Login / Signup

RTL functional verification using excitation and observation coverage.

Byeong MinGwan Choi
Published in: HLDVT (2001)
Keyphrases
  • functional verification
  • formal verification
  • model based diagnosis
  • real time
  • object oriented
  • load balancing
  • low latency