Techniques to Efficiently Design and Verify Microprocessors

Techniques to Efficiently Design and Verify Microprocessors
Author :
Publisher :
Total Pages : 324
Release :
ISBN-10 : UCAL:W263469
ISBN-13 :
Rating : 4/5 (69 Downloads)

Book Synopsis Techniques to Efficiently Design and Verify Microprocessors by : Sangeetha Sudhakrishnan

Download or read book Techniques to Efficiently Design and Verify Microprocessors written by Sangeetha Sudhakrishnan and published by . This book was released on 2011 with total page 324 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Techniques to Efficiently Design and Verify Microprocessors Related Books

Techniques to Efficiently Design and Verify Microprocessors
Language: en
Pages: 324
Authors: Sangeetha Sudhakrishnan
Categories:
Type: BOOK - Published: 2011 - Publisher:

DOWNLOAD EBOOK

Design and Verification of Microprocessor Systems for High-Assurance Applications
Language: en
Pages: 441
Authors: David S. Hardin
Categories: Technology & Engineering
Type: BOOK - Published: 2010-03-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Microprocessors increasingly control and monitor our most critical systems, including automobiles, airliners, medical systems, transportation grids, and defense
Correct Hardware Design and Verification Methods
Language: en
Pages: 399
Authors: Laurence Pierre
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

DOWNLOAD EBOOK

CHARME’99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and ve
Energy Efficient Microprocessor Design
Language: en
Pages: 365
Authors: Thomas D. Burd
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume starts with a description of the metrics and benchmarks used to design energy-efficient microprocessor systems, followed by energy-efficient methodo
Correct Hardware Design and Verification Methods
Language: en
Pages: 423
Authors: Dominique Borrione
Categories: Computers
Type: BOOK - Published: 2005-10-07 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods