Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

High-Level Verification

High-Level Verification

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781441993588
Condition
New
Product Description

Given the growing size and heterogeneity of Systems on Chip (SOC), the design process from initial specification to chip fabrication has become increasingly complex. This growing complexity provides incentive for designers to use high-level languages such as C, SystemC, and SystemVerilog for system-level design. While a major goal of these high-level languages is to enable verification at a higher level of abstraction, allowing early exploration of system-level designs, the focus so far for validation purposes has been on traditional testing techniques such as random testing and scenario-based testing. This book focuses on high-level verification, presenting a design methodology that relies upon advances in synthesis techniques as well as on incremental refinement of the design process. These refinements can be done manually or through elaboration tools. This book discusses verification of specific properties in designs written using high-level languages, as well as checking that the refined implementations are equivalent to their high-level specifications. The novelty of each of these techniques is that they use a combination of formal techniques to do scalable verification of system designs completely automatically. The verification techniques presented in this book include methods for verifying properties of high-level designs and methods for verifying that the translation from high-level design to a low-level Register Transfer Language (RTL) design preserves semantics. Used together, these techniques guarantee that properties verified in the high-level design are preserved through the translation to low-level RTL.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Antitumour and Antiviral Substances of Natural Origin

$109.99

Information Systems and Design

$89.99

PHP Solutions

$34.99

Children and Borders

$109.99

Correlated Data Analysis: Modeling, Analytics, and Applications

$169.99

Antibiotica-Prophylaxe in der Traumatologie

$69.99

Nineteenth-Century Serial Narrative in Transnational Perspective, 1830s1860s

$99.00

Reviews of Environmental Contamination and Toxicology Volume 233

$109.99

Unternehmensentwicklung verstehen und gestalten

$44.99

American Circumstance

$49.99

Polymerizations and Polymer Properties

$84.99

Strategisches Innovationsmanagement

$59.99

Stress and Coping in Nursing

$39.99

Electrified Mobility 2019

$109.00

Asymptotic Analysis of Soliton Problems

$29.99

Intelligent Optimal Adaptive Control for Mechatronic Systems

$199.99

The Uniform Interpretation of the UN Sales Convention (CISG)

$139.99

Advanced Computational Approaches to Biomedical Engineering

$54.99

Lernwelt Schulweg

$49.99

University of Toronto Mathematics Competition (20012015)

$64.99

Cultural Mobilities Between China and Italy

$159.99

Das betriebliche Informationssystem

$59.99

rztliche Handlungen bei extrem unreifen Frhgeborenen

$99.99

New Models for Population Protocols

$29.99

Al-Qaida und der globale Djihad

$59.99

Aussagefhigkeit und Aussagewilligkeit von Probanden bei der Conjoint-Analyse

$74.99

Electrospun Nanofibrous Separator for Enhancing Capacity of Lithium-ion Batteries

$129.00

Effective Management Control

$169.99

Evolvable Components

$54.99

Advances in Design, Simulation and Manufacturing IV

$169.99

Politik unter Einfluss

$59.99

Aladdin and the Arabian Nights (Barnes & Noble Collectible Editions) by Barnes & Noble

$15.00

The Biology of Dendritic Cells and HIV Infection

$169.99

Advanced Signature Indexing for Multimedia and Web Applications

$109.99

Science and Sensibilia by W. V. Quine

$89.99

Politische Steuerung im Wandel: Der Einfluss von Ideen und Problemstrukturen

$39.99

Wavelets and Wavelet Transform Systems and Their Applications

$99.99

Clementine: The Talented Clementine

$4.46

Atlas of Rectoscopy and Coloscopy

$84.99

Advances in Neuro-Information Processing

$169.99