The SECD Microprocessor

• 1 January 1992
• book
• Published by Springer Nature
• https://doi.org/10.1007/978-1-4615-3576-8

Abstract

Keywords

• HARDWARE
• ARCHITECTURE
• COMPLEXITY
• FORMAL METHOD
• FORMAL METHODS
• FORMAL SPECIFICATION
• LAYOUT
• LEARNING
• MICROPROCESSOR
• ORGANIZATION
• PROGRAMMING
• VERIFICATION