Overview
Part of the book series: The Springer International Series in Engineering and Computer Science (SECS, volume 178)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (6 chapters)
Keywords
About this book
Authors and Affiliations
Bibliographic Information
Book Title: The SECD Microprocessor
Book Subtitle: A Verification Case Study
Authors: Brian T. Graham
Series Title: The Springer International Series in Engineering and Computer Science
DOI: https://doi.org/10.1007/978-1-4615-3576-8
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 1992
Hardcover ISBN: 978-0-7923-9245-3Published: 31 May 1992
Softcover ISBN: 978-1-4613-6589-1Published: 08 October 2012
eBook ISBN: 978-1-4615-3576-8Published: 06 December 2012
Series ISSN: 0893-3405
Edition Number: 1
Number of Pages: XVI, 176
Topics: Circuits and Systems, Electrical Engineering, Computer-Aided Engineering (CAD, CAE) and Design, Artificial Intelligence