Spar
The SECD Microprocessor
Forfatter:
heftet, 2012
Engelsk
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.
- Undertittel
- A Verification Case Study
- Forfatter
- Brian T. Graham
- Opplag
- Softcover reprint of the original 1st ed. 1992
- ISBN
- 9781461365891
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 8.10.2012
- Antall sider
- 176
