Leo Marcus, Stephen D. Crocker, Jaisook Landauer. SDVS: A system for verifying microcode correctness. In M. Carter, Robert A. Mueller, editors, Proceedings of the 17th annual workshop on Microprogramming, MICRO 1984, New Orleans, Louisiana, USA, October 30 - November 2, 1984. pages 246-255, ACM/IEEE, 1984. [doi]
Abstract is missing.