The SECD Microprocessor : a Verification Case Study /

The SECD Microprocessor is a substantial case study in hardware specification and verification. The subject is a silicon implementation of Landin's SECD machine, which is transformed into a layout, formally specified, and partially verified using the HOL proof assistant. It is important as a no...

Full description

Bibliographic Details

Main Author:	Graham, Brian T.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 1992.
Series:	Springer International Series in Engineering and Computer Science, VLSI, Computer Architecture and Digital Signal Processing ; 178.
Subjects:	Engineering. Electronic data processing. Computer-aided design. Computer engineering. Systems engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book