Milind Kulkarni, J. Benita Bommi. Assertion-Based Verification for the SpaceCAKE Multiprocessor - A Case Study. In Shmuel Ur, Eyal Bin, Yaron Wolfsthal, editors, Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers. Volume 3875 of Lecture Notes in Computer Science, pages 43-55, Springer, 2005. [doi]
Abstract is missing.