Demonstrates the effectiveness of the Larch/VHDL verification system by verifying a commercial microprocessor design. The National Security Agency (NSA) gave us the opportunity to verify a design of over 10,000 lines of VHDL source code, written by Motorola engineers, called the LRP15O. This design was an implementation of a microprocessor instruction set and specification called ARM7 from Advanced RISC Machines. It was an ideal challenge. No microprocessor design of this scale had been formally verified, and certainly no design of this size had been verified directly from VHDL or any other standardized hardware description language.
Verifying a pipelined microprocessor
19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126) ; 1 ; 1A5/1-1A5/8 vol.1
01.01.2000
722857 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Verifying a Pipelined Microprocessor
British Library Conference Proceedings | 2000
|Programable Pipelined-Image Processor
NTRS | 1986
|TIBKAT | 1978
Programming a Pipelined Image Processor
British Library Online Contents | 1996
|IMPROVEMENT OF MICROPROCESSOR COMPLEX SCHEME USING MICROPROCESSOR HARDWARE COMPLEX
DOAJ | 2019
|