Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies

Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Bosio, Alberto
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Dilillo, Luigi, Girard, Patrick, Pravossoudovitch, Serge, Virazel, Arnaud
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA Springer-Verlag US 2010
Έκδοση:	1
Θέματα:	Engineering Computer aided design Systems engineering Circuits and Systems Computer-Aided Engineering (CAD, CAE) and Design
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-1-4419-0938-1

Παρόμοια τεκμήρια

Power-Aware Testing and Test Strategies for Low Power Devices
ανά: Girard, Patrick
Έκδοση: (2010)

On and Off-Chip Crosstalk Avoidance in VLSI Design
ανά: Duan, Chunjie
Έκδοση: (2010)

FPGA Design Best Practices for Team-based Design
ανά: Simpson, Philip
Έκδοση: (2010)

VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip
ανά: Lin, Youn-Long Steve
Έκδοση: (2010)

Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits
ανά: Tajalli, Armin
Έκδοση: (2010)

C Compilers for ASIPs Automatic Compiler Generation with LISA
ανά: Hohenauer, Manuel
Έκδοση: (2010)

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
ανά: Shukla, Sandeep K
Έκδοση: (2010)

Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
ανά: Popovici, Katalin
Έκδοση: (2010)

Minimizing and Exploiting Leakage in VLSI Design
ανά: Jayakumar, Nikhil
Έκδοση: (2010)

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification
ανά: Gamatie, Abdoulaye
Έκδοση: (2010)

Scalable Techniques for Formal Verification
ανά: Ray, Sandip
Έκδοση: (2010)

ESL Models and their Application Electronic System Level Design and Verification in Practice
ανά: Bailey, Brian
Έκδοση: (2010)

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
ανά: Singh, Gaurav
Έκδοση: (2010)

Processor and System-on-Chip Simulation
ανά: Leupers, Rainer
Έκδοση: (2010)

Power-efficient System Design
ανά: Panda, Preeti Ranjan
Έκδοση: (2010)

Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs
ανά: Gulati, Kanupriya
Έκδοση: (2010)

Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations
ανά: Garg, Rajesh
Έκδοση: (2010)

Software Automatic Tuning From Concepts to State-of-the-Art Results
ανά: Naono, Ken
Έκδοση: (2010)

Mixed-Signal Layout Generation Concepts
ανά: Lin, Chieh
Έκδοση: (2005)

Abstraction Refinement for Large Scale Model Checking
ανά: Wang, Chao
Έκδοση: (2006)

Constraint-Based Verification
ανά: Yuan, Jun
Έκδοση: (2006)

A Practical Introduction to Hardware/Software Codesign
ανά: Schaumont, Patrick R. (Patrick Robert)
Έκδοση: (2010)

Design and Verification of Microprocessor Systems for High-Assurance Applications
ανά: Hardin, David S
Έκδοση: (2010)

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500β'
ανά: Silva, Francisco
Έκδοση: (2006)

Rapid Prototyping of Digital Systems
ανά: Hamblen, James O.
Έκδοση: (2006)

Thermal and Power Management of Integrated Circuits
ανά: Vassighi, Arman
Έκδοση: (2006)

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
ανά: Sutherland, Stuart
Έκδοση: (2006)

Systemverilog for Verification A Guide to Learning the Testbench Language Features
ανά: Spear, Chris
Έκδοση: (2006)

Interconnect Noise Optimization in Nanometer Technologies
ανά: Elgamel, Mohamed A.
Έκδοση: (2006)

Scalable Hardware Verification with Symbolic Simulation
ανά: Bertacco, Valeria
Έκδοση: (2006)

Quantifying and Exploring the Gap Between FPGAs and ASICs Measuring and Exploring
ανά: Kuon, Ian
Έκδοση: (2010)

Verification Methodology Manual for SystemVerilog
ανά: Bergeron, Janick
Έκδοση: (2006)

Security in Embedded Devices
ανά: Gebotys, Catherine H
Έκδοση: (2010)

Embedded System Design
ανά: Marwedel, Peter, 1949-
Έκδοση: (2006)

SystemC: From the Ground Up
ανά: Black, David C.
Έκδοση: (2010)

Hardware Verification with C++ A Practitionerβs Handbook
ανά: Mintz, Mike
Έκδοση: (2006)

Writing Testbenches using System Verilog
ανά: Bergeron, Janick
Έκδοση: (2006)

Taxonomies for the Development and Verification of Digital Systems
ανά: Bailey, Brian
Έκδοση: (2005)

Inverse Problems in Electric Circuits and Electromagnetics
ανά: Chechurin, V. L.
Έκδοση: (2007)

CMOS Current-Mode Circuits for Data Communications
ανά: Yuan, Fei
Έκδοση: (2007)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών