SÁCH THẬT - TRI THỨC THẬT CÙNG BOOKMEDI.VN

[1825 days] Verification Techniques for System-Level Design

[1825 days] Verification Techniques for System-Level Design
[1825 days] Verification Techniques for System-Level Design
Mã sản phẩm:
9780123706164
Nhà xuất bản:
Elsevier S & T
Loại bìa:
Page Fidelity
Ngôn ngữ:
English
Tác giả:
Fujita, Masahiro; Ghosh, Indradeep; Prasad, Mukul
Thuê hoặc mua eTextbook
1825 ngày
2.463.000 VND

Hết hạn vào: 2030-12-21

2.463.000 VND

This book will explain how to verify SoC (Systems on Chip) logic designs using “formal” and “semiformal” verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as in “functional” verification), but many subtle design errors cannot be caught by simulation. Recently, formal verification, giving mathematical proof of the correctness of designs, has been gaining popularity.

For higher design productivity, it is essential to debug designs as early as possible, which this book facilitates. This book covers all aspects of high-level formal and semiformal verification techniques for system level designs.

• First book that covers all aspects of formal and semiformal, high-level (higher than RTL) design verification targeting SoC designs.
• Formal verification of high-level designs (RTL or higher).
• Verification techniques are discussed with associated system-level design methodology.
Đang cập nhật
Liên kết:

Elsevier S & T

Sản phẩm cùng chủ đề

New
[1825 days] Preparation of Catalysts VI: Scientific Bases for the Preparation of Heterogeneous Catalysts
[1825 days] Preparation of Catalysts VI: Scientific Bases for the Preparation of Heterogeneous Catalysts

The organizers of this Sixth Symposium maintained their initial objectives, namely to gather experts..

10,160,000 VNĐ

New
[1825 days] Advances in Food and Nutrition Research
[1825 days] Advances in Food and Nutrition Research

Advances in Food and Nutrition Research recognizes the integral relationship between the food and nu..

4,699,000 VNĐ

New
[1825 days] Mitchell v. Helms, 530 U.S. 793
[1825 days] Mitchell v. Helms, 530 U.S. 793

This title is from the Hayes Barton Press "Originals" series, a collection of classic fiction and no..

38,000 VNĐ

New
[1825 days] ADVANCES IN GENETICS VOLUME 24
[1825 days] ADVANCES IN GENETICS VOLUME 24

ADVANCES IN GENETICS VOLUME 24..

1,853,000 VNĐ

New
[1825 days] Ex parte McCardle, 74 U.S. 506
[1825 days] Ex parte McCardle, 74 U.S. 506

This title is from the Hayes Barton Press "Originals" series, a collection of classic fiction and no..

38,000 VNĐ

New
[1825 days] Immunopharmacology of Respiratory System
[1825 days] Immunopharmacology of Respiratory System

Immunopharmacology represents the boundary between the immune system and chemical mediators of the i..

3,124,500 VNĐ

New
[1825 days] Notes on the State of Virginia
[1825 days] Notes on the State of Virginia

This title is from the Hayes Barton Press "Originals" series, a collection of classic fiction and no..

38,000 VNĐ

New
[1825 days] Of Persons One Would Wish to Have Seen
[1825 days] Of Persons One Would Wish to Have Seen

This title is from the Hayes Barton Press "Originals" series, a collection of classic fiction and no..

38,000 VNĐ

Trang chủ
Tài khoản
Giỏ hàng
Thanh toán