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
Danh mục
Mua eTextbooks trực tuyến
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-18

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:

Mua eTextbooks trực tuyến Elsevier S & T

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

New
[1825 days] Pattern Recognition
[1825 days] Pattern Recognition

Pattern recognition is a scientific discipline that is becoming increasingly important in the age of..

2,031,000 VNĐ

New
[1825 days] United States v. Jackson, 390 U.S. 570
[1825 days] United States v. Jackson, 390 U.S. 570

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

38,000 VNĐ

New
[1825 days] The Age of Innocence
[1825 days] The Age of Innocence

In her novels, Edith Wharton wrote about the convlict between the allure, restrictions, and expectat..

38,000 VNĐ

New
[1825 days] Oracle Real Application Clusters
[1825 days] Oracle Real Application Clusters

Clustered configuration first hit the scene nearly 20 years ago when Digital Equipment Corporation (..

2,310,500 VNĐ

New
[1825 days] Molecular Systematics of Fishes
[1825 days] Molecular Systematics of Fishes

Sequenced biological macromolecules have revitalized systematic studies of evolutionary history. Mol..

3,099,000 VNĐ

New
[1825 days] Handbook of Air Pollution Prevention and Control
[1825 days] Handbook of Air Pollution Prevention and Control

This Handbook provides a concise overview of the latest technologies for managing industrial air pol..

4,191,000 VNĐ

New
[1825 days] Poems of James Russell Lowell
[1825 days] Poems of James Russell Lowell

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

38,000 VNĐ

New
[1825 days] Les Chants de Maldoror
[1825 days] Les Chants de Maldoror

Written in 1868 by Isidor Ducasse, also known as the Comte de Lautréamont, Les Chants de Maldoror is..

38,000 VNĐ

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