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

Hardware Verification with C++

Hardware Verification with C++

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

For Further Reading . . . . . . . . . . . . . . . . . . . . . . . 41 C h a p t e r 4 : A L a y e r e d A p p r o a c h . . . . . . . . . . . 43 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 A Whiteboard Drawing . . . . . . . . . . . . . . . . . . . . . . 46 An ends-in approach. . . . . . . . . . . . . . . . . . . . . 47 Refining the whiteboard blocks . . . . . . . . . . . . . . . 47 The Common-Currency Components . . . . . . . . . . . 48 The Interface Layer in Detail. . . . . . . . . . . . . . . . . . 49 The wire layer . . . . . . . . . . . . . . . . . . . . . . . . . . 50 The agent layer . . . . . . . . . . . . . . . . . . . . . . . . . 52 The transaction layer . . . . . . . . . . . . . . . . . . . . . 53 The Top-Layer Components . . . . . . . . . . . . . . . . . . 54 What is a Test? . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 The Test Component . . . . . . . . . . . . . . . . . . . . . . . 58 The Test Irritator . . . . . . . . . . . . . . . . . . . . . . . . . 60 A Complete Test . . . . . . . . . . . . . . . . . . . . . . . . . . 61 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 For Further Reading . . . . . . . . . . . . . . . . . . . . . . . 63 Part II: An Open-Source Environment with C++ . . . . . . 65 C h a p t e r 5 : T e a l B a s i c s . . . . . . . . . . . . . . . . . . . 67 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 What Teal provides . . . . . . . . . . . . . . . . . . . . . . . 68 Teals similarity to HDLs . . . . . . . . . . . . . . . . . . . 69 A tiny but complete example . . . . . . . . . . . . . . . . 69 Teals Main Components. . . . . . . . . . . . . . . . . . . . . 71 Using Teal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .73 Initialization . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 Your C++ test . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 Registers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 A P r ac titioner s Handboo k ix Contents Creating registers . . . . . . . . . . . . . . . . . . . . . . . 74 Working with a reg or vreg . . . . . . . . . . . . . . . . . . 75 Logging Output . . . . . . . . . . . . . . . . . . . . . . . . . . . 76 Using Test Parameters . . . . . . . . . . . . . . . . . . . . . . 79 Accessing Memory . . . . . . . . . . . . . . . . . . . . . . . . . 81 A memory note example . . . . . . . . . . . . . . . . . . . 82 Constrained Random Numbers . . . . . . . . . . . . . . . . . 84 Required initialization . . . . . . . . . . . . . . . . . . . . . 84 Using random numbers. . . . . . . . . . . . . . . . . . . . . 84 Working with Simulation Events and Concurrency . . . . 86 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 For Further Reading . . . . . . . . . . . . . . . . . . . . . . . 88 Chapter 6: Truss: A Standard Verification F r a m e w o r k . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92 General Considerations . . . . . . . . . . . . . . . . . . . . . 93 Using a language other than C++ . . . . . . . . . . . . . . 93 Keeping it simple . . . . . . . . . . . . . . . . . . . . . . . . 94 Major Classes and Their Roles . . . . . . . . . . . . . . . .

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

Single Product Purchase

$89.00
@ 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
$89.00 $89.00

$89.00
See Site In stock Visit Store

Similar Products

Fibrosis in Disease

$169.99

Jugendliche + Erwachsene 85

$59.99

Grundlagen des elektroerosiven Schleifens bei der Werkzeugaufbereitung

$59.99

Erfolgsfaktor Quereinsteiger

$39.99

Reclaiming Development Agendas

$54.99

Oil and Security

$109.99

Advances in Artificial Intelligence

$169.99

A Digital Framework for Industry 4.0

$49.99

Emotional, Physical and Sexual Abuse

$169.99

Foundations of Quantum Theory

$59.99

Imaging Gliomas After Treatment

$169.99

Der Kraftfahrzeug-Kasko-Schaden

$69.99

Microwave Electronics

$129.99

Seismic Reflection Interpretation

$219.99

Distance Sampling: Methods and Applications

$159.99

Colorectal Surgery Consultation

$109.00

Typicality Reasoning in Probability, Physics, and Metaphysics

$129.00

Selected Correspondence

$169.99

Therapeutic Laser Endoscopy in Gastrointestinal Disease

$129.00

Integrierte Materialwirtschaft, Logistik, Beschaffung und Produktion

$64.99

Educational Data Literacy

$139.99

Corporate Social Responsibility and Discrimination

$84.99

Emanzipation durch Schule

$59.99

Introduction to Focused Ion Beams

$219.99

The Ecosystem of e-Business: Technologies, Stakeholders, and Connections

$39.99

In the Presence of English: Media and European Youth

$84.99

Die Rntgenstrahlen als Hilfsmittel fr die chemische Forschung

$59.99

A Fascist Century

$109.99

Migrating and Settling in a Mobile World

$59.99

Bilanzieren nach Handels- und Steuerrecht, Teil 2

$69.99

Metal Forming Handbook

$99.99

Die antero-laterale Rotationsinstabilitt des oberen Sprunggelenkes

$84.99

Die Preussischen Apothekengesetze mit Einschluss der reichsgesetzlichen Bestimmungen ber den Betrie

$59.99

Computational Intelligence

$259.00

Phytochemical Effects of Environmental Compounds

$39.99

Smart Communications, Intelligent Algorithms and Interactive Methods

$129.00

Die frhen Darstellungen des Arthurstoffes

$59.99

Kufliches Alter(n)

$34.99

Education and the Risk Society

$49.99

Rookie Reader-GR Level C: Joshua James Likes Trucks

$4.50