Login / Signup

Coverage of formal properties based on a high-level fault model and functional ATPG.

Franco FummiGraziano PravadelliFranco Toto
Published in: ETS (2005)
Keyphrases
  • high level
  • fault model
  • low level
  • low level features
  • programming language
  • low cost
  • higher level
  • formal language
  • information redundancy
  • np complete
  • dynamic systems