Functional Verification of Programmable Embedded Architectures 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2025

☆☆☆☆☆
简体网页||繁体网页

Prabhat Mishra 作者

Springer

译者

2005-07-01 出版日期

202 页数

USD 129.00 价格

Hardcover

丛书系列

9780387261430 图书编码

Functional Verification of Programmable Embedded Architectures 在线电子书图书标签: 测试嵌入式软件

喜欢 Functional Verification of Programmable Embedded Architectures 在线电子书的读者还喜欢

下载链接在页面底部

下载链接1
下载链接2
下载链接3

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2025-06-04

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

Functional Verification of Programmable Embedded Architectures 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2025

Functional Verification of Programmable Embedded Architectures 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2025

Functional Verification of Programmable Embedded Architectures 在线电子书用户评价

评分☆☆☆☆☆

Functional Verification of Programmable Embedded Architectures 在线电子书著者简介

Functional Verification of Programmable Embedded Architectures 在线电子书图书目录

Functional Verification of Programmable Embedded Architectures 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

Functional Verification of Programmable Embedded Architectures 在线电子书图书描述

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.

Functional Verification of Programmable Embedded Architectures 在线电子书下载 mobi epub pdf txt 在线电子书下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!