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

QR Code

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

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Hardin, David S. (Editor)
Format:	eBook
Language:	English
Published:	New York, NY : Springer US : Imprint: Springer, 2010.
Edition:	1st ed. 2010.
Subjects:	Electronic circuits. Computer-aided engineering. Quality control. Reliability. Industrial safety. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design. Quality Control, Reliability, Safety and Risk.

Similar Items

Integrated Computer-Aided Design in Automotive Development : Development Processes, Geometric Fundamentals, Methods of CAD, Knowledge-Based Engineering Data Management /
by: Mario, Hirz., et al.
Published: (2013)

Simulation Methods for Reliability and Availability of Complex Systems /
Published: (2010)

Open Verification Methodology Cookbook
by: Glasser, Mark.
Published: (2009)

Scalable Techniques for Formal Verification /
by: Ray, Sandip.
Published: (2010)

FPGA Design : Best Practices for Team-based Design /
by: Simpson, Philip.
Published: (2010)

Power-efficient System Design /
by: Panda, Preeti Ranjan., et al.
Published: (2010)

Bio/CMOS Interfaces and Co-Design /
by: Carrara, Sandro.
Published: (2013)

Minimizing and Exploiting Leakage in VLSI Design /
by: Jayakumar, Nikhil., et al.
Published: (2010)

On and Off-Chip Crosstalk Avoidance in VLSI Design /
by: Duan, Chunjie., et al.
Published: (2010)

VLSI Design for Video Coding : H.264/AVC Encoding from Standard Specification to Chip /
by: Lin, Youn-Long Steve., et al.
Published: (2010)

Designing Embedded Systems with the SIGNAL Programming Language : Synchronous, Reactive Specification /
by: Gamatié, Abdoulaye.
Published: (2010)

Extreme Low-Power Mixed Signal IC Design : Subthreshold Source-Coupled Circuits /
by: Tajalli, Armin., et al.
Published: (2010)

Risk-Based Ship Design : Methods, Tools and Applications /
Published: (2009)

Nanometer Variation-Tolerant SRAM : Circuits and Statistical Design for Yield /
by: Abu Rahma, Mohamed., et al.
Published: (2013)

E-maintenance /
Published: (2010)

Nanosystems Design and Technology
by: DeMicheli, Giovanni., et al.
Published: (2009)

Adaptable Embedded Systems /
Published: (2013)

Hardware Acceleration of EDA Algorithms : Custom ICs, FPGAs and GPUs /
by: Khatri, Sunil P., et al.
Published: (2010)

Integrated Optical Interconnect Architectures for Embedded Systems /
Published: (2013)

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications /
by: Singh, Gaurav., et al.
Published: (2010)

Processor and System-on-Chip Simulation /
Published: (2010)

Power-Aware Testing and Test Strategies for Low Power Devices /
Published: (2010)

Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction /
Published: (2010)

Software Automatic Tuning : From Concepts to State-of-the-Art Results /
Published: (2010)

Fault Location on Power Networks /
by: Saha, Murari Mohan., et al.
Published: (2010)

Functional Design Errors in Digital Circuits : Diagnosis Correction and Repair /
by: Chang, Kai-hui., et al.
Published: (2009)

Emerging Nanotechnologies : Test, Defect Tolerance, and Reliability /
Published: (2008)

ESL Models and their Application : Electronic System Level Design and Verification in Practice /
by: Bailey, Brian., et al.
Published: (2010)

Standardized Functional Verification
by: Wiemann, Alan.
Published: (2008)

Static Timing Analysis for Nanometer Designs A Practical Approach /
by: Bhasker, J., et al.
Published: (2009)

Creating Assertion-Based IP /
by: Foster, Harry D., et al.
Published: (2008)

Clocking in Modern VLSI Systems /
Published: (2009)

Embedded System Design : Modeling, Synthesis and Verification /
by: Gajski, Daniel D., et al.
Published: (2009)

Rapid Prototyping of Digital Systems SOPC Edition /
by: Hamblen, James O., et al.
Published: (2008)

Embedded Software Design and Programming of Multiprocessor System-on-Chip : Simulink and System C Case Studies /
by: Popovici, Katalin., et al.
Published: (2010)

Nanometer Technology Designs High-Quality Delay Tests /
by: Ahmed, Nisar.
Published: (2008)

VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification and Reliability : 24th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016, Revised Selected Papers /
Published: (2017)

Diagnosis of Process Nonlinearities and Valve Stiction : Data Driven Approaches /
by: Choudhury, Ali Ahammad Shoukat., et al.
Published: (2008)

CMOS Active Inductors and Transformers : Principle, Implementation, and Applications /
by: Yuan, Fei.
Published: (2008)

Electromigration Modeling at Circuit Layout Level /
by: Tan, Cher Ming., et al.
Published: (2013)