Login / Signup

Checking Nested Properties Using Bounded Model Checking and Sequential ATPG.

Qiang QiangDaniel G. SaabJacob A. Abraham
Published in: VLSI Design (2006)
Keyphrases
  • bounded model checking
  • formal verification
  • model checking
  • web services
  • desirable properties
  • neural network
  • knowledge base
  • orders of magnitude
  • temporal logic