Login / Signup

An Emulation Model for Sequential ATPG-Based Bounded Model Checking.

Qiang QiangDaniel G. SaabJacob A. Abraham
Published in: FPL (2005)
Keyphrases
  • computational model
  • formal model
  • high level
  • bounded model checking
  • theoretical analysis
  • mathematical model
  • statistical model