Robert de B. Johnston, Ouiza Dahmoune. Overview of Applying Reachability Analysis to Verifying a Physical Microprocessor. In Magdy S. Abadir, Jay Bhadra, Li-C. Wang, editors, 12th International Workshop on Microprocessor Test and Verification, MTV 2011, Austin, TX, USA, December 5-7, 2011. pages 32-37, IEEE, 2011.
No references recorded for this publication.
No citations of this publication recorded.