|
马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?注册
x
http://www.amazon.com/Functional-Verification-Programmable-Embedded-Architectures/dp/0387261435/ref=sr_1_6/103-2423481-1392628?ie=UTF8&s=books&qid=1180105920&sr=1-6
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 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. |
-
-
abbr_fe568a34a25cc770bce0a09155e1aa4a.rar
2 MB, 下载次数: 110
, 下载积分:
资产 -2 信元, 下载支出 2 信元
-
-
abbr_d5fed9facd0a98816934504a113e0a0f.rar
2 MB, 下载次数: 105
, 下载积分:
资产 -2 信元, 下载支出 2 信元
-
-
abbr_d5e6c8bc0d8bbc97ae1df750a88e7c50.rar
2 MB, 下载次数: 101
, 下载积分:
资产 -2 信元, 下载支出 2 信元
-
-
abbr_f8f661b1b046d5f4e015ce2494bd7098.rar
1.47 MB, 下载次数: 103
, 下载积分:
资产 -2 信元, 下载支出 2 信元
|