The SECD microprocessor
Subtitle: a verification case study
By: by Brian T. Graham.
Series: The Kluwer international series in engineering and computer science ;; #178; Kluwer international series in engineering and computer science ;; SECS 178.
Publisher: Kluwer Academic Publishers
Published: 1992
Place of publication: Boston
Language: eng
Number of pages: 176
Subjects: Microprocessors.; Computer architecture.
Notes: Includes bibliographical references (p. [169]-173) and index.