Login / Signup

Scalable Hybrid Verification of Complex Microprocessors.

Maher N. MneimnehFadi A. AloulChristopher T. WeaverSaugata ChatterjeeKarem A. SakallahTodd M. Austin
Published in: DAC (2001)
Keyphrases
  • high level
  • data structure
  • computer science
  • model checking
  • highly scalable
  • real time
  • databases
  • computer vision
  • information systems
  • case study
  • complex systems
  • formal methods
  • formal verification