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