Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Post-Silicon and Runtime Verification for Modern Processors

Best Price (Coupon Required):
Buy Post-Silicon and Runtime Verification for Modern Processors for $116.10 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $129.00 - $129.00
BEST PRICE

Single Product Purchase

$116.10
@ Link.springer.com with extra coupon

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
$129.00 $129.00

10% OFF
This deals requires coupon
$116.10
See Site In stock Visit Store

Product Details

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

The purpose of this book is to survey the state of the art and evolving directions in post-silicon and runtime verification. The authors start by giving an overview of the state of the art in verification, particularly current post-silicon methodologies in use in the industry, both for the domain of processor pipeline design and for memory subsystems. They then dive into the presentation of several new post-silicon verification solutions aimed at boosting the verification coverage of modern processors, dedicating several chapters to this topic. The presentation of runtime verification solutions follows a similar approach. This is an area of processor design that is still in its early stages of exploration and that holds the promise of accomplishing the ultimate goal of achieving complete correctness guarantees for microprocessor-based computation. The authors conclude the book with a look towards the future of late-stage verification and its growing role in the processor life-cycle.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Mathematische Methoden der Bioinformatik - Eine Einfhrung

Mathematische Methoden der Bioinformatik - Eine Einfhrung

$49.99
Second International Handbook of Urban Education

Second International Handbook of Urban Education

$599.99
Public Mobility

Public Mobility

$109.99
Partizipation in der Schule

Partizipation in der Schule

$59.99
Barnum's Bones

Barnum's Bones

$6.71
Progress in Scale Modeling

Progress in Scale Modeling

$169.99
Advanced Application of Arthroscopy

Advanced Application of Arthroscopy

$84.99
KI 2007: Advances in Artificial Intelligence

KI 2007: Advances in Artificial Intelligence

$39.99
Nature Stories: Little Acorn

Nature Stories: Little Acorn

$4.46
Solar System Moons

Solar System Moons

$109.99
Lebanese Shiite Leadership, 19201970s

Lebanese Shiite Leadership, 19201970s

$59.99
Successful ASIC Design the First Time Through

Successful ASIC Design the First Time Through

$54.99
Intelligent Agents and Multi-Agent Systems

Intelligent Agents and Multi-Agent Systems

$39.99
Contemporary Topics in Molecular Immunology

Contemporary Topics in Molecular Immunology

$39.99
Big Data Privacy Preservation for Cyber-Physical Systems

Big Data Privacy Preservation for Cyber-Physical Systems

$54.99
Knowledge-Based Software Engineering: 2020

Knowledge-Based Software Engineering: 2020

$219.99
Einfhrung in die Wahrscheinlichkeitstheorie und Statistik

Einfhrung in die Wahrscheinlichkeitstheorie und Statistik

$49.99
Eddy Current Approximation of Maxwell Equations

Eddy Current Approximation of Maxwell Equations

$79.99
Erfolgswirkungen von Markenallianzen

Erfolgswirkungen von Markenallianzen

$54.99
Bayesian Statistics, New Generations New Approaches

Bayesian Statistics, New Generations New Approaches

$169.99
New Technologies, Mobility and Security

New Technologies, Mobility and Security

$129.00
Forest Nursery Manual: Production of Bareroot Seedlings

Forest Nursery Manual: Production of Bareroot Seedlings

$379.99
Embryogenesis

Embryogenesis

$54.99
Quantum Information, Computation and Cryptography

Quantum Information, Computation and Cryptography

$39.99
The Dynamics of Green Innovation in B2B Industries

The Dynamics of Green Innovation in B2B Industries

$39.99
Aromatic Hydroxyketones: Preparation and Physical Properties

Aromatic Hydroxyketones: Preparation and Physical Properties

$1,029.00
Plant Phenolics in Abiotic Stress Management

Plant Phenolics in Abiotic Stress Management

$189.00
Friedhofsgesprche

Friedhofsgesprche

$59.99
Machine Learning, Deep Learning and Computational Intelligence for Wireless Communication

Machine Learning, Deep Learning and Computational Intelligence for Wireless Communication

$249.99
Movable Bed Physical Models

Movable Bed Physical Models

$84.99
Innovationen durch Wissenstransfer

Innovationen durch Wissenstransfer

$49.99
Dynamical Decoupling in Distance Measurements by Double Electron-Electron Resonance

Dynamical Decoupling in Distance Measurements by Double Electron-Electron Resonance

$39.99
Proceedings of Indian Geotechnical and Geoenvironmental Engineering Conference (IGGEC) 2021, Vol. 2

Proceedings of Indian Geotechnical and Geoenvironmental Engineering Conference (IGGEC) 2021, Vol. 2

$299.99
Topics in Numerical Methods for Finance

Topics in Numerical Methods for Finance

$84.99
Invariant Probabilities of Transition Functions

Invariant Probabilities of Transition Functions

$109.99
Let's Go See Pap!

Let's Go See Pap!

$7.46
The Development of the Vertebrate Retina

The Development of the Vertebrate Retina

$54.99
Leitfaden der Krankenpflege in Frage und Antwort

Leitfaden der Krankenpflege in Frage und Antwort

$59.99
The Postcolonial Short Story

The Postcolonial Short Story

$54.99
Pattern Recognition

Pattern Recognition

$79.99
previous
next