£41.03

Springer Assertion-Based Design

Name: Assertion-Based Design
Brand: Springer
Price: 25.29 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 83 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £42 (81 days, 97.6%)

Price range: £25 - £42

Price levels: 3 different prices over 83 days

Description

There is much excitement in the design and verification community about assertion-based design. The question is, who should study assertion-based design? The emphatic answer is, both design and verification engineers. What may be unintuitive to many design engineers is that adding assertions to RTL code will actually reduce design time, while better documenting design intent. Every design engineer should read this book! Design engineers that add assertions to their design will not only reduce the time needed to complete a design, they will also reduce the number of interruptions from verification engineers to answer questions about design intent and to address verification suite mistakes. With design assertions in place, the majority of the interruptions from verification engineers will be related to actual design problems and the error feedback provided will be more useful to help identify design flaws. A design engineer who does not add assertions to the RTL code will spend more time with verification engineers explaining the design functionality and intended interface requirements, knowledge that is needed by the verification engineer to complete the job of testing the design.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 146134848X
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 14 October 2012
Listed Since: 03 March 2013

Barcode

No barcode data available

Springer Assertion-Based Design

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

SVA: The Power of Assertions in SystemVerilog

Post-Silicon and Runtime Verification for Modern Processors

Comprehensive Functional Verification: The Complete Industry Cycle (Systems on Silicon)

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10712)

Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

The e Hardware Verification Language (Information Technology: Transmission, Processing & Storage)

Formal Hardware Verification: Methods and Systems in Comparison: 1287 (Lecture Notes in Computer Science, 1287)

Functional Verification of Programmable Embedded Architectures: A Top-Down Approach

Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair: 32 (Lecture Notes in Electrical Engineering, 32)

Introduction to Advanced System-on-Chip Test Design and Optimization: 29 (Frontiers in Electronic Testing, 29)

Computer Safety, Reliability, and Security: 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings: 8153 (Lecture Notes in Computer Science, 8153)

Principles of Functional Verification

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902)

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

System Design Automation: Fundamentals, Principles, Methods, Examples

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Aspect-Oriented Programming with the e Verification Language: A Pragmatic Guide for Testbench Developers: Volume . (Systems on Silicon, Volume .)

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings: 8174 (Lecture Notes in Computer Science, 8174)

Software Testing Automation: Testability Evaluation, Refactoring, Test Data Generation and Fault Localization

Test Pattern Generation using Boolean Proof Engines

Essential Spectrum-based Fault Localization

Design of Digital Systems and Devices: 79 (Lecture Notes in Electrical Engineering, 79)

System Design Automation: Fundamentals, Principles, Methods, Examples

CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems