Removing concurrency for rapid functional verification.

Stephen Longfield Jr.Rajit Manohar

Published in: ICCAD (2014)

Keyphrases

functional verification
database systems
concurrency control
formal verification
software systems
data flow