0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing

Buy Now

Functional Verification of Programmable Embedded Architectures - A Top-Down Approach (Hardcover, 2005 ed.) Loot Price: R2,985
Discovery Miles 29 850
Functional Verification of Programmable Embedded Architectures - A Top-Down Approach (Hardcover, 2005 ed.): Prabhat Mishra,...

Functional Verification of Programmable Embedded Architectures - A Top-Down Approach (Hardcover, 2005 ed.)

Prabhat Mishra, Nikil D. Dutt

 (sign in to rate)
Loot Price R2,985 Discovery Miles 29 850 | Repayment Terms: R280 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

It is widely acknowledged that the cost of validation and testing comprises a s- nificant percentage of the overall development costs for electronic systems today, and is expected to escalate sharply in the future. Many studies have shown that up to 70% of the design development time and resources are spent on functional verification. Functional errors manifest themselves very early in the design flow, and unless they are detected up front, they can result in severe consequence- both financially and from a safety viewpoint. Indeed, several recent instances of high-profile functional errors (e. g. , the Pentium FDIV bug) have resulted in - creased attention paid to verifying the functional correctness of designs. Recent efforts have proposed augmenting the traditional RTL simulation-based validation methodology with formal techniques in an attempt to uncover hard-to-find c- ner cases, with the goal of trying to reach RTL functional verification closure. However, what is often not highlighted is the fact that in spite of the tremendous time and effort put into such efforts at the RTL and lower levels of abstraction, the complexity of contemporary embedded systems makes it difficult to guarantee functional correctness at the system level under all possible operational scenarios. The problem is exacerbated in current System-on-Chip (SOC) design meth- ologies that employ Intellectual Property (IP) blocks composed of processor cores, coprocessors, and memory subsystems. Functional verification becomes one of the major bottlenecks in the design of such systems.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Release date: July 2005
First published: 2005
Authors: Prabhat Mishra • Nikil D. Dutt
Dimensions: 235 x 155 x 12mm (L x W x T)
Format: Hardcover
Pages: 180
Edition: 2005 ed.
ISBN-13: 978-0-387-26143-0
Categories: Books > Computing & IT > General theory of computing > General
Promotions
LSN: 0-387-26143-5
Barcode: 9780387261430

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Systems Analysis And Design In A…
John Satzinger, Robert Jackson, … Hardcover  (1)
R1,366 R1,270 Discovery Miles 12 700
Oracle 12c - SQL
Joan Casteel Paperback  (1)
R1,406 R1,302 Discovery Miles 13 020
Systems Analysis And Design
Scott Tilley Hardcover R1,385 R1,285 Discovery Miles 12 850
Foundations Of Computer Science
Behrouz Forouzan Paperback R1,269 R1,185 Discovery Miles 11 850
Introduction to Computer Theory
Daniel I. A. Cohen Paperback  (4)
R6,943 Discovery Miles 69 430
Discovering Computers 2018 - Digital…
Misty Vermaat, Steven Freund, … Paperback R1,355 R1,259 Discovery Miles 12 590
Dynamic Web Application Development…
David Parsons, Simon Stobart Paperback R1,341 R1,245 Discovery Miles 12 450
Program Construction - Calculating…
Roland Backhouse Paperback R2,664 Discovery Miles 26 640
Discovering Computers, Essentials…
Susan Sebok, Jennifer Campbell, … Paperback R1,289 R1,197 Discovery Miles 11 970
Introduction to the Theory of…
Michael Sipser Hardcover R1,354 R1,253 Discovery Miles 12 530
Distributed Systems - Concurrency and…
Matthieu Perrin Hardcover R1,932 Discovery Miles 19 320
Principles of Biomedical Informatics
Ira J. Kalet Ph.D. Hardcover R1,852 Discovery Miles 18 520

See more

Partners