The Secd Microprocessor A Verification Case Study(1st Edition)
Authors:
Brian T T Graham
In Stock: 1 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 1461365899, 978-1461365891
Book publisher: Springer
Book Price $0 : 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.
Customers also bought these books (16)
Managerial Economics A Problem Solving Approach - 3rd edition
Luke M. Froeb
ISBN: 2901133951482, 1133951481, 978-1133951483
$0 $24.63
Transportation A Global Supply Chain Perspective - 8th edition
John J. Coyle
ISBN: 9781305445352, 1133592961, 130544535X, 978-1133592969
$0 $14.37
Business Law Text and Cases - 11th Edition
Kenneth W. Clarkson
ISBN: 324655223, 978-0324655223
$0 $11.33
Business Ethics Ethical Decision Making & Cases - 8th Edition
O. C. Ferrell
ISBN: 1439042233, 978-1439042236
$0 $9.42
A Short History Of Technology From The Earliest Times To A D 1900 - 1st Edition
T K Derry
ISBN: 0486274721, 978-0486274720
$0 $7.00
Autodesk Revit Architecture 2012 No Experience Required - 1st Edition
Eric Wing
ISBN: 0470945060, 978-0470945063
$0 $5.99
Statistical Analysis Of Fmri Data - 1st Edition
F Gregory Ashby
ISBN: 0262042681, 978-0262042680
$0 $28.99
Organizational Behavior - 19th Edition
Stephen P. Robbins
ISBN: 0137474644, 978-0137474646
$117.09 $167.27
The Witchs Apothecary Seasons Of The Witch Magical Potions For The Wheel Of The Year - 1st Edition
Lorriane Anderson
ISBN: 1925946797, 978-1925946796
$0 $21.34
The California Naturalist Handbook - 1st Edition
Greg De Nevers
ISBN: 0520274806, 978-0520274808
$0 $25.80
A Short History Of Technology From The Earliest Times To A D 1900 - 1st Edition
T K Derry
ISBN: 0486274721, 978-0486274720
$0 $7.00
Civil Engineering Management 2006 Liaoning Institute Of Civil Engineering And Architecture Professional Committee Of Construction Proceedings - 1st Edition
Jiang Cheng Bin Sui Ming Yue Liu Ming
ISBN: 7560323790, 978-7560323794
$0 $62.66
The Shipwreck Hunter A Lifetime Of Extraordinary Discoveries On The Ocean Floor - 1st Edition
David L Mearns
ISBN: 1681777606, 978-1681777603
$0 $13.74Popular Among Students (13)
Digital Transformation Game Plan - 1st Edition
Gary OBrien
ISBN: 1492054399, 1492054348, 9781492054399, 9781492054344
$0 $26.99
All In Startup Launching A New Idea When Everything Is On The Line - 1st Edition
Diana Kander
ISBN: 1118857666, 1118857763, 9781118857663, 9781118857762
$0 $10.50
Global Supply Chain Strategy - 1st Edition
Pedro M. Reyes
ISBN: 1939297257, 1939297249, 9781939297259, 9781939297242
$0 $26.00
Learning To Lead - 1st Edition
Warren G. Bennis
ISBN: 020156310X, 0465004326, 9780201563108, 9780465004324
$0 $9.00
Flawless Consulting - 4th Edition
Peter Block
ISBN: 1394177305, 1394177313, 9781394177301, 9781394177318
$0 $51.00
Mitochondrial Medicine Volume I Probing Mitochondrial Function - 1st Edition
Volkmar Weissig
ISBN: 1493955721, 978-1493955725
$74.89 $106.99
Advances In Electrical And Computer Technologies Select Proceedings Of Icaect 2021 - 1st Edition
Thangaprakash Sengodan
ISBN: 9811911134, 978-9811911132
$212.1 $303.00
Some Assembly Required Assembly Language Programming With The Avr Microcontroller - 1st Edition
Timothy S Margush
ISBN: 1439820643, 1439896240, 9781439820643, 9781439896242
$91 $130.00
Human Computer Interaction Interact 2019 17th Ifip Tc 13 International Conference Paphos Cyprus September 2 6 2019 Proceedings Part Il Lncs 11747 - 1st Edition
David Lamas
ISBN: 3030293831, 978-3030293833
$0 $45.00
Voussoir Arches Applied To Stone Bridges Tunnels Domes And Groined Arches - 1st Edition
Professor William Cain
ISBN: 1445557711, 978-1445557717
$0 $17.00
Protection Of Electricity Distribution Networks - 3rd Edition
Gers
ISBN: 1849192235, 9781849192231
$0 $17.00
El Centenario De Una Leyenda/ 100th Anniversary Of A Legend Harley Davidson - 1st Edition
Juan Carlos Montes
ISBN: 8496137236, 978-8496137233
$0 $13.73