Using mathematical logic and formal methods to write correct microcode
Published in ACM SIGMICRO newsletter/SIGMICRO newsletter/SIGMICRO, TCMICRO newsletter • Jun 1, 1988
NobleIDNI5P16W80R48S65
Authors:
David Shepherd
Abstract
This paper describes how "correct" microcode can be produced through the use of mathematical logic and formal design methods. The use of these techniques to derive correct microcode for the IMS T800 floating point transputer from a mathematical specification is discussed. This experience on the IMS ...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!