Tallenna
The SECD Microprocessor
Kirjailija:
nidottu, 2012
englanti
This monograph reports on Graham's MSc project, demonstrat ing that - in the right hands - the tools and methodology for formal verification can (and therefore should?) now be applied by someone with little previous expertise in formal methods, to verify a non-trivial microprocessor in a limited timescale.
- Alaotsikko
- A Verification Case Study
- Kirjailija
- Brian T. Graham
- Painos
- Softcover reprint of the original 1st ed. 1992
- ISBN
- 9781461365891
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 8.10.2012
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 176
