|
Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Electronic devices & materials > Microprocessors
|
Buy Now
The SECD Microprocessor - A Verification Case Study (Hardcover, 1992 ed.)
Loot Price: R2,752
Discovery Miles 27 520
|
|
|
The SECD Microprocessor - A Verification Case Study (Hardcover, 1992 ed.)
Series: The Springer International Series in Engineering and Computer Science, 178
Expected to ship within 18 - 22 working days
|
This is a milestone in machine-assisted microprocessor
verification. Gordon [20] and Hunt [32] led the way with their
verifications of sim ple designs, Cohn [12, 13] followed this with
the verification of parts of the VIPER microprocessor. This work
illustrates how much these, and other, pioneers achieved in
developing tractable models, scalable tools, and a robust
methodology. A condensed review of previous re search, emphasising
the behavioural model underlying this style of verification is
followed by a careful, and remarkably readable, ac count of the
SECD architecture, its formalisation, and a report on the
organisation and execution of the automated correctness proof in
HOL. 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. This is not to
belittle Graham's achievement; the production of this proof, work
ing as Graham did from the previous literature, goes well beyond a
typical MSc project. The achievement is that, with this exposition
to hand, an engineer tackling the verification of similar
microprocessor designs will have a clear view of the milestones
that must be passed on the way, and of the methods to be applied to
achieve them.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
