Using Abstract Specifications to Verify PowerPC:::TM::: Custom Memories by Symbolic Trajectory Evaluation

Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham, Magdy S. Abadir. Using Abstract Specifications to Verify PowerPC:::TM::: Custom Memories by Symbolic Trajectory Evaluation. In Tiziana Margaria, Thomas F. Melham, editors, Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings. Volume 2144 of Lecture Notes in Computer Science, pages 386-402, Springer, 2001. [doi]

Abstract

Abstract is missing.