Formal Verification of Microprocessors: Automatic and Scalable Methods for Pipelined, Superscalar, and VLIW Designs
Author:   Miroslav Velev
Publisher:   Springer-Verlag New York Inc.
Edition:   2015 ed.
ISBN:  

9781441909558


Pages:   490
Publication Date:   01 May 2010
Format:   Hardback
Availability:   Awaiting stock   Availability explained
The supplier is currently out of stock of this item. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out for you.

Our Price $261.36 Quantity:  
Add to Cart

Share |

Formal Verification of Microprocessors: Automatic and Scalable Methods for Pipelined, Superscalar, and VLIW Designs


Add your own review!

Overview

Full Product Details

Author:   Miroslav Velev
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   2015 ed.
ISBN:  

9781441909558


ISBN 10:   1441909559
Pages:   490
Publication Date:   01 May 2010
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Awaiting stock   Availability explained
The supplier is currently out of stock of this item. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out for you.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

lgn

al

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now