C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Scalable Hybrid Verification of Complex Microprocessors.
Maher N. Mneimneh
Fadi A. Aloul
Christopher T. Weaver
Saugata Chatterjee
Karem A. Sakallah
Todd 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