£74.45

Springer Quality-Driven SystemC Design

Name: Quality-Driven SystemC Design
Brand: Springer
Price: 74.91 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 91 days • 91 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 91 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £76 (51 days, 56.0%)

Price range: £75 - £76

Price levels: 3 different prices over 91 days

Description

A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements characterize the new flow: First, dedicated verification techniques are integrated which target the different levels of abstraction. Second, each verification technique is complemented by an approach to measure the achieved verification quality. The new flow distinguishes three levels of abstraction (namely system level, top level and block level) and can be incorporated in existing approaches. After reviewing the preliminary concepts, in the following chapters the three levels for modeling and verification are considered in detail. At each level the verification quality is measured. In summary, following the new design and verification flow a high overall quality results.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 9400791925
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 16 October 2014
Listed Since: 17 October 2014

Barcode

No barcode data available

Springer Quality-Driven SystemC Design

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Quality-of-Service Aware Design and Management of Embedded Mixed-Criticality Systems

Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems

Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog

Analysis and Design of Markov Jump Discrete Systems: 499 (Studies in Systems, Decision and Control, 499)

Design Research: The Sociotechnical Aspects of Quality, Creativity, and Innovation

Data-Driven Cyber Physical Systems

Logic Synthesis and Verification: 654 (The Springer International Series in Engineering and Computer Science, 654)

Towards One-Pass Synthesis

Systems Engineering & Management: A generic approach to the design and control of socio-technical systems

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Fault Diagnosis for Linear Discrete Time-Varying Systems and Its Applications

A Practical Approach to VLSI System on Chip (SoC) Design: A Comprehensive Guide

Design and Analysis of Secure Quantum Communication Schemes

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220)

Cyber-Physical Systems: Modelling and Intelligent Control: 338 (Studies in Systems, Decision and Control, 338)

Designing Thriving Systems: Marrying Technical Rationality and Appreciative Systems

Low-Power Design Techniques and CAD Tools for Analog and RF Integrated Circuits

Smart Product-Service Systems and Sustainable Supply Chains Co-design

Ein Verfahren zur Entwicklung flexibler Fahrzeug-Software- und -Hardware-Architekturen unter Unsicherheit

Power Quality Enhancement of Wind Energy Systems

Introduction to Probability, Statistical Methods, Design of Experiments and Statistical Quality Control (University Texts in the Mathematical Sciences)

Circuit-Technology Co-Optimization of SRAM Design in Advanced CMOS Nodes

Modelling and Simulation: Exploring Dynamic System Behaviour (Simulation Foundations, Methods and Applications)

Vibration of Discrete and Continuous Systems (Mechanical Engineering Series)