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

Código QR

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

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Hardin, David S. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	New York, NY : Springer US : Imprint: Springer, 2010.
Edición:	1st ed. 2010.
Materias:	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.

Ejemplares similares

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

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

Open Verification Methodology Cookbook
por: Glasser, Mark.
Publicado: (2009)

Scalable Techniques for Formal Verification /
por: Ray, Sandip.
Publicado: (2010)

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

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

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

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

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

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

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

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

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

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

E-maintenance /
Publicado: (2010)

Nanosystems Design and Technology
por: DeMicheli, Giovanni., et al.
Publicado: (2009)

Adaptable Embedded Systems /
Publicado: (2013)

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

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

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

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

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

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

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

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

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

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

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

Standardized Functional Verification
por: Wiemann, Alan.
Publicado: (2008)

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

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

Clocking in Modern VLSI Systems /
Publicado: (2009)

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

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

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

Nanometer Technology Designs High-Quality Delay Tests /
por: Ahmed, Nisar.
Publicado: (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 /
Publicado: (2017)

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

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

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