SDVS: A system for verifying microcode correctness - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Leo Marcus' in GoogleThis author has not been identified. Look up 'Stephen D. Crocker' in GoogleThis author has not been identified. Look up 'Jaisook Landauer' in Google

runs on WebDSL