Hardware Verification with System Verilog: An Object-Oriented Framework - Image 1

£80.27

Springer Hardware Verification with System Verilog: An Object-Oriented Framework

Name: Hardware Verification with System Verilog: An Object-Oriented Framework
Brand: Springer
Price: 79.93 GBP
Availability: InStock

Hardware & DIY

Price History & Forecast

Last 86 days • 86 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 86 days • 1 price levels

Days at Price

Price Analysis

Most common price: £80 (86 days, 100.0%)

Price range: £80 - £80

Price levels: 1 different prices over 86 days

Description

Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning to. However, no language by itself can guarantee success without proper techniques. Object-oriented programming (OOP), with its focus on managing complexity, is ideally suited to this task. With this handbook—the first to focus on applying OOP to SystemVerilog—we’ll show how to manage complexity by using layers of abstraction and base classes. By adapting these techniques, you will write more "reasonable" code, and build efficient and reusable verification components. Both a learning tool and a reference, this handbook contains hundreds of real-world code snippets and three professional verification-system examples. You can copy and paste from these examples, which are all based on an open-source, vendor-neutral framework (with code freely available at www.trusster.com). Learn about OOP techniques such as these: Creating classes—code interfaces, factory functions, reuse Connecting classes—pointers, inheritance, channels Using "correct by construction"—strong typing, base classes Packaging it up—singletons, static methods, packages

Product Specifications

Brand: Springer
Format: paperback
ASIN: 1441944087
Category: Books > Subjects > Computing & Internet > Hardware & DIY
Domain: Amazon UK
Release Date: 04 November 2010
Listed Since: 06 July 2010

Barcode

No barcode data available

Springer Hardware Verification with System Verilog: An Object-Oriented Framework

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Writing Testbenches using SystemVerilog

SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

Introduction to SystemVerilog

Hardware Verification with C++: A Practitioner’s Handbook

System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

SystemVerilog for Verification: A Guide to Learning the Testbench Language Features

Verification Methodology Manual for SystemVerilog

SystemVerilog for Verification: A Guide to Learning the Testbench Language Features

SystemVerilog for Verification: A Guide to Learning the Testbench Language Features

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

SystemVerilog for Hardware Description: RTL Design and Verification

The Verilog Hardware Description Language

Verilog and SystemVerilog Gotchas: 101 Common Coding Errors and How to Avoid Them

Writing Testbenches: Functional Verification of HDL Models

Logic Design and Verification Using SystemVerilog (Revised)

SystemVerilog for Design Second Edition: A Guide to Using SystemVerilog for Hardware Design and Modeling

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Design Through Verilog HDL

Digital VLSI Design with Verilog: A Textbook from Silicon Valley Polytechnic Institute

Writing Testbenches: Functional Verification of HDL Models

Verilog and SystemVerilog Gotchas: 101 Common Coding Errors and How to Avoid Them

Scalable Hardware Verification with Symbolic Simulation

Formal System Verification: State-of the-Art and Future Trends