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

Brain Imaging in Behavioral Medicine and Clinical Neuroscience

$84.99

The Wheat Genome

$59.99

Pro PHP 8 MVC

$64.99

Second and Foreign Language Education

$54.99

Viral Zoonoses and Food of Animal Origin

$169.99

Problem Solving for Wireless Sensor Networks

$109.99

Comparative Genomics

$89.99

Hyperbare Oxygenation und Tauchmedizin

$17.99

Chinas Plan for Economic and Social Development

$84.99

Handbook for Teacher Educators

$49.99

Thermal Analysis of Polymeric Materials

$109.00

Role of Blood Flow in Atherogenesis

$39.99

Institutional Grammar

$129.99

Machine Learning Paradigms

$109.99

Countdown to a Moon Launch

$39.99

HCI Outdoors: Theory, Design, Methods and Applications

$139.00

Emulsions

$84.99

Analysis of Operators on Function Spaces

$99.00

Operating Hours and Working Times

$84.99

Briefe an Goethe

$59.99

Managing Derivatives Contracts

$69.99

Aquatic Macrophytes: Ecology, Functions and Services

$219.99

Nitrogen Fixation

$39.99

Food Packaging and Preservation

$79.99

Morphogenesis in Plant Tissue Cultures

$219.99

Asset Management Standards

$169.00

The Palgrave Handbook of Sustainable Peace and Security in Africa

$219.99

Attische Grabreliefs

$59.99

Advances in Fluid Mechanics Measurements

$54.99

Physical Education and Wellbeing

$109.99

Entwicklungsmanagement

$74.99

Schimpf und Ernst des Deutschen Mittelalters in Lateinischem Gewand

$54.99

Streaming and Screen Culture in Asia-Pacific

$109.99

Kants Transcendental Deduction

$219.99

Bio-valorization of Waste

$199.99

Ideologie der Arbeiterdichtung 1914-1933

$69.99

Die Voranzeigen als anthropotechnisches Hilfsmittel bei der Fhrung von Fahrzeugen

$59.99

Brewing and Distilling Yeasts

$299.99

Humanistic Foundation of Criminal Law

$249.99

Advances and Trends in Artificial Intelligence. Theory and Applications

$79.99