Transaction Based Modeling and Verification of Hardware Protocols.

Xiaofang Chen Steven M. German Ganesh Gopalakrishnan

Published in: FMCAD (2007)

Keyphrases

real time
hardware and software
hardware designs
database systems
model checking
image processing
computer systems
massively parallel
modeling method
signature verification
transaction data
concurrency control protocols
verification method
point of sale