Study Week: Selected textbooks only 14.99 each—eBooks & softcovers on sale! Shop now >>

cover

Functional Verification of Programmable Embedded Architectures

A Top-Down Approach

Authors: Mishra, Prabhat, Dutt, Nikil D.

Buy this book

eBook $99.00
price for USA in USD
  • ISBN 978-0-387-26399-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $159.99
price for USA in USD
  • ISBN 978-0-387-26143-0
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Softcover $129.99
price for USA in USD
  • ISBN 978-1-4899-7336-8
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current System-on-Chip design methodology. A critical challenge in validation of such systems is the lack of a golden reference model. As a result, many existing validation techniques employ a bottom-up approach to design verification, where the functionality of an existing architecture is, in essence, reverse-engineered from its implementation. Traditional validation techniques employ different reference models depending on the abstraction level and verification task, resulting in potential inconsistencies between multiple reference models.

This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the system architect’s knowledge about the behavior of the design through architecture specification using an Architecture Description Language (ADL). The authors also address two fundamental challenges in functional verification: lack of a golden reference model, and lack of a comprehensive functional coverage metric.

Functional Verification of Programmable Embedded Architectures: A Top-Down Approach is designed for students, researchers, CAD tool developers, designers, and managers interested in the development of tools, techniques and methodologies for system-level design, microprocessor validation, design space exploration and functional verification of embedded systems.

Table of contents (7 chapters)

Table of contents (7 chapters)
  • Introduction

    Pages 3-12

  • Architecture Specification

    Pages 15-28

  • Validation of Specification

    Pages 29-62

  • Executable Model Generation

    Pages 65-82

  • Design Validation

    Pages 83-93

Buy this book

eBook $99.00
price for USA in USD
  • ISBN 978-0-387-26399-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $159.99
price for USA in USD
  • ISBN 978-0-387-26143-0
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Softcover $129.99
price for USA in USD
  • ISBN 978-1-4899-7336-8
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Functional Verification of Programmable Embedded Architectures
Book Subtitle
A Top-Down Approach
Authors
Copyright
2005
Publisher
Springer US
Copyright Holder
Springer-Verlag US
eBook ISBN
978-0-387-26399-1
DOI
10.1007/b137514
Hardcover ISBN
978-0-387-26143-0
Softcover ISBN
978-1-4899-7336-8
Edition Number
1
Number of Pages
XIX, 180
Topics