Removing concurrency for rapid functional verification.

Stephen Longfield Jr., Rajit Manohar

Browse the full ICCAD paper archive.