Overview of Applying Reachability Analysis to Verifying a Physical Microprocessor

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. [doi]

Bibliographies