Login / Signup

Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists.

Jason BaumgartnerTamir HeymanVigyan SinghalAdnan Aziz
Published in: CAV (1999)
Keyphrases
  • model checking
  • dynamic programming
  • computational complexity
  • temporal logic
  • np hard
  • verification method
  • artificial intelligence
  • optimal solution
  • formal verification
  • deterministic finite automaton