Spara
The SECD Microprocessor
Författare:
häftad, 2012
Engelska
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.
- Undertitel
- A Verification Case Study
- Författare
- Brian T. Graham
- Upplaga
- Softcover reprint of the original 1st ed. 1992
- ISBN
- 9781461365891
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2012-10-08
- Sidor
- 176
