All Formats & Editions
1 - 2 of 2 results found
The Secd Microprocessor: A Verification Case Study
Edition Description
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,...
Edition Details
Format:Paperback
Language:English
ISBN:1461365899
Format: Paperback
Condition:
$
109.99
50 Available
The Secd Microprocessor: A Verification Case Study
Edition Description
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,...
Edition Details
Format:Hardcover
Language:English
ISBN:0792392450
Format: Hardcover
Condition:
$
109.99
50 Available
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
