Login / Signup
Functional formal verification on designs of pSeries microprocessors and communication subsystems.
Rebecca M. Gott
Jason Baumgartner
Paul Roessler
S. I. Joe
Published in:
IBM J. Res. Dev. (2005)
Keyphrases
</>
formal verification
functional verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
program slicing
orders of magnitude
communication networks
temporal logic
communication cost
formal methods