High-Level Verification: Methods and Tools for Verification of System-Level Designs

✍ Scribed by Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta (auth.)

Publisher: Springer-Verlag New York
Year: 2011
Tongue: English
Leaves: 182
Edition: 1
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

✦ Subjects

Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design

📜 SIMILAR VOLUMES

High-Level Verification: Methods and Too

📁 High-Level Verification: Methods and Tools for Verification of System-Level Designs

✍ Lerner, Sorin;Gupta, Rajesh K 📂 Library 📅 2011 🏛 Springer 🌐 English

Given the growing size and heterogeneity of Systems on Chip (SOC), the design process from initial specification to chip fabrication has become increasingly complex. This growing complexity provides incentive for designers to use high-level languages such as C, SystemC, and SystemVerilog for system-

Verification Techniques for System-Level

📁 Verification Techniques for System-Level Design

✍ Masahiro Fujita, Indradeep Ghosh, Mukul Prasad 📂 Library 📅 2007 🏛 Morgan Kaufmann 🌐 English

Verification Techniques for System-Level

📁 Verification Techniques for System-Level Design (Systems on Silicon)

✍ Masahiro Fujita, Indradeep Ghosh, Mukul Prasad 📂 Library 📅 2007 🌐 English

Design and Verification of Microprocesso

📁 Design and Verification of Microprocessor Systems for High-Assurance Applications

✍ Matt Kaufmann, J Strother Moore (auth.), David S. Hardin (eds.) 📂 Library 📅 2010 🏛 Springer US 🌐 English

Design and Verification of Microprocessor Systems for High-Assurance Applications Edited by: David S. Hardin This book examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for

Abstract State Machines. A Method for Hi

📁 Abstract State Machines. A Method for High-Level System Design and Analysis

✍ Egon B¨orger, and Robert Stärk 📂 Library 📅 2003 🏛 Springer-Verlag 🌐 English

Abstract state machines: A method for hi

📁 Abstract state machines: A method for high-level system design and analysis

✍ Egon Boerger, Robert Staerk 📂 Library 📅 2003 🏛 Springer 🌐 English

This book combines the features of a textbook and a handbook Researchers will find here the most comprehensive description of ASMs available today and professionals will use it as a "modeling handbook of the working software engineer. As a textbook it supports self-study or it can form the basis of