An Advanced-Architectur CMOS/SOS Microprocessor

Authors:
David Best;Charles Kress;Nick Mykris;Jeffrey Russell;William Smith
Affiliations:
Rockwell International;Rockwell International;Rockwell International;Rockwell International;Rockwell International
Venue:
IEEE Micro
Year:
1982

Citing 0
Cited 3

Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods

WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
The Industrial Use of Formal Methods: Was Darwin Right?

WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Considerations in the design and verification of microprocessors for safety-critical and security-critical applications: invited tutorial

Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

A language-directed stack architecture, implemented in two-micrometer CMOS/SOS, yields a 16-bit microprocessor having high throughput and high compiled code density.