Principles of Verifiable RTL Design 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


Principles of Verifiable RTL Design

简体网页||繁体网页
Lionel Bening 作者
Kluwer Academic Publishers Norwell, MA, USA
译者
2001-5 出版日期
304 页数
$ 236.17 价格
Hardcover
丛书系列
9780792373681 图书编码

Principles of Verifiable RTL Design 在线电子书 图书标签: Verilog  RTL  IC  ASIC  FPGA  Design   


喜欢 Principles of Verifiable RTL Design 在线电子书 的读者还喜欢




点击这里下载
    

想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-23


Principles of Verifiable RTL Design 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

Principles of Verifiable RTL Design 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

Principles of Verifiable RTL Design 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024



Principles of Verifiable RTL Design 在线电子书 用户评价

评分

评分

评分

评分

评分

Principles of Verifiable RTL Design 在线电子书 著者简介


Principles of Verifiable RTL Design 在线电子书 图书目录


Principles of Verifiable RTL Design 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

Principles of Verifiable RTL Design 在线电子书 图书描述

The first edition of Principles of Verifiable RTL Design offered a common sense method for simplifying and unifying assertion specification by creating a set of predefined specification modules that could be instantiated within the designer's RTL. Since the release of the first edition, an entire industry-wide initiative for assertion specification has emerged based on ideas presented in the first edition. This initiative, known as the Open Verification Library Initiative (www.verificationlib.org), provides an assertion interface standard that enables the design engineer to capture many interesting properties of the design and precludes the need to introduce new HDL constructs (i.e., extensions to Verilog are not required). Furthermore, this standard enables the design engineer to 'specify once,' then target the same RTL assertion specification over multiple verification processes, such as traditional simulation, semi-formal and formal verification tools. The Open Verification Library Initiative is an empowering technology that will benefit design and verification engineers while providing unity to the EDA community (e.g., providers of testbench generation tools, traditional simulators, commercial assertion checking support tools, symbolic simulation, and semi-formal and formal verification tools). The second edition of Principles of Verifiable RTL Design expands the discussion of assertion specification by including a new chapter entitled 'Coverage, Events and Assertions'. All assertions exampled are aligned with the Open Verification Library Initiative proposed standard. Furthermore, the second edition provides expanded discussions on the following topics: start-up verification; the place for 4-state simulation; race conditions; RTL-style-synthesizable RTL (unambiguous mapping to gates); more 'bad stuff'. The goal of the second edition is to keep the topic current. Principles of Verifiable RTL Design, A Functional Coding Style Supporting Verification Processes, Second Edition tells you how you can write Verilog to describe chip designs at the RTL level in a manner that cooperates with verification processes. This cooperation can return an order of magnitude improvement in performance and capacity from tools such as simulation and equivalence checkers. It reduces the labor costs of coverage and formal model checking by facilitating communication between the design engineer and the verification engineer. It also orients the RTL style to provide more useful results from the overall verification process.

Principles of Verifiable RTL Design 在线电子书 下载 mobi epub pdf txt 在线电子书下载

想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

Principles of Verifiable RTL Design 在线电子书 读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价

Principles of Verifiable RTL Design 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


分享链接





Principles of Verifiable RTL Design 在线电子书 相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有