₹11035
₹14436
(24% Off)
Inclusive of all taxes
Qty
Buying in bulk?
In Stock
Guaranteed Service
Free Home Delivery
above ₹199
Check Delivery
Enter pincode for exact delivery dates / charges and to know if express delivery is available
Functional Verification Of Programmable Embedded Architectures: A Top-Down Approach
by Nikil D. Dutt, Prabhat Mishra (Author),
Springer (Publisher)
Product Specifications
Book Description
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
Book Specifications
ISBN-13 9780387261430
Language English
Binding Hard Bound
Publisher Springer
Publishing Date 2005-07-01
Total Pages 180