Sign in

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