Login / Signup
Formal verification of a pervasive interconnect bus system in a high-performance microprocessor.
Thuyen Le
Tilman Glökler
Jason Baumgartner
Published in:
DATE (2007)
Keyphrases
</>
formal verification
high speed
functional verification
model checking
low power
model checker
low latency
automated verification
bounded model checking
context aware
temporal logic
program slicing
symbolic model checking
formal specification
pervasive computing
object oriented
input output
programming language