Trace-Based Post-Silicon Validation for VLSI Circuits

Trace-Based Post-Silicon Validation for VLSI Circuits

This book first provides a comprehensive coverage of state-of-the-art validation solutions based on real-time signal tracing to guarantee the correctness of VLSI circuits. The authors discuss several key challenges in post-silicon validation and provide automated solutions that are systematic and c...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Liu, Xiao (Συγγραφέας), Xu, Qiang (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Heidelberg : Springer International Publishing : Imprint: Springer, 2014.
Σειρά:	Lecture Notes in Electrical Engineering, 252
Θέματα:	Engineering. Microprocessors. Semiconductors. Electronic circuits. Circuits and Systems. Processor Architectures.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Debug Automation from Pre-Silicon to Post-Silicon
ανά: Dehbashi, Mehdi, κ.ά.
Έκδοση: (2015)

Design-for-Test and Test Optimization Techniques for TSV-based 3D Stacked ICs
ανά: Noia, Brandon, κ.ά.
Έκδοση: (2014)

The Boundary-Scan Handbook
ανά: Parker, Kenneth P.
Έκδοση: (2016)

Exploring Memory Hierarchy Design with Emerging Memory Technologies
ανά: Sun, Guangyu
Έκδοση: (2014)

The Dark Side of Silicon Energy Efficient Computing in the Dark Silicon Era /
Έκδοση: (2017)

Post-Silicon Validation and Debug
Έκδοση: (2019)

Digital VLSI Design with Verilog A Textbook from Silicon Valley Polytechnic Institute /
ανά: Williams, John Michael
Έκδοση: (2014)

Counterfeit Integrated Circuits Detection and Avoidance /
ανά: Tehranipoor, Mark (Mohammad), κ.ά.
Έκδοση: (2015)

Integrated Circuit Authentication Hardware Trojans and Counterfeit Detection /
ανά: Tehranipoor, Mohammad, κ.ά.
Έκδοση: (2014)

System-Level Validation High-Level Modeling and Directed Test Generation Techniques /
ανά: Chen, Mingsong, κ.ά.
Έκδοση: (2013)

Analog Circuit Design Smart Data Converters, Filters on Chip, Multimode Transmitters /
Έκδοση: (2010)

Analog Circuit Design High-speed Clock and Data Recovery, High-performance Amplifiers, Power Management /
Έκδοση: (2009)

VLSI Design A Practical Guide for FPGA and ASIC Implementations /
ανά: Chandrasetty, Vikram Arkalgud
Έκδοση: (2011)

Spintronics-based Computing
Έκδοση: (2015)

Circuit and Interconnect Design for RF and High Bit-Rate Applications
ανά: Veenstra, Hugo, κ.ά.
Έκδοση: (2008)

Multi-Net Optimization of VLSI Interconnect
ανά: Moiseev, Konstantin, κ.ά.
Έκδοση: (2015)

Testing of Interposer-Based 2.5D Integrated Circuits
ανά: Wang, Ran, κ.ά.
Έκδοση: (2017)

Functional Verification of Dynamically Reconfigurable FPGA-based Systems
ανά: Gong, Lingkan, κ.ά.
Έκδοση: (2015)

Reversible and Quantum Circuits Optimization and Complexity Analysis /
ανά: Abdessaied, Nabila, κ.ά.
Έκδοση: (2016)

Designing TSVs for 3D Integrated Circuits
ανά: Khan, Nauman, κ.ά.
Έκδοση: (2013)

Analog Integrated Circuit Design Automation Placement, Routing and Parasitic Extraction Techniques /
ανά: Martins, Ricardo, κ.ά.
Έκδοση: (2017)

Arbitrary Modeling of TSVs for 3D Integrated Circuits
ανά: Salah, Khaled, κ.ά.
Έκδοση: (2015)

Parallel Sparse Direct Solver for Integrated Circuit Simulation
ανά: Chen, Xiaoming, κ.ά.
Έκδοση: (2017)

Analog Circuit Design for Process Variation-Resilient Systems-on-a-Chip
ανά: Onabajo, Marvin, κ.ά.
Έκδοση: (2012)

Introduction to Logic Circuits & Logic Design with Verilog
ανά: LaMeres, Brock J.
Έκδοση: (2017)

Introduction to Logic Circuits & Logic Design with VHDL
ανά: LaMeres, Brock J.
Έκδοση: (2017)

Design for High Performance, Low Power, and Reliable 3D Integrated Circuits
ανά: Lim, Sung Kyu
Έκδοση: (2013)

Tree-based Heterogeneous FPGA Architectures Application Specific Exploration and Optimization /
ανά: Farooq, Umer, κ.ά.
Έκδοση: (2012)

Computer-Aided Design of Microfluidic Very Large Scale Integration (mVLSI) Biochips Design Automation, Testing, and Design-for-Testability /
ανά: Hu, Kai, κ.ά.
Έκδοση: (2017)

Three-Dimensional Design Methodologies for Tree-based FPGA Architecture
ανά: Pangracious, Vinod, κ.ά.
Έκδοση: (2015)

SVA: The Power of Assertions in SystemVerilog
ανά: Cerny, Eduard, κ.ά.
Έκδοση: (2015)

Out-of-order Parallel Discrete Event Simulation for Electronic System-level Design
ανά: Chen, Weiwei
Έκδοση: (2015)

Soft Error Mechanisms, Modeling and Mitigation
ανά: Sayil, Selahattin
Έκδοση: (2016)

FPGAs and Parallel Architectures for Aerospace Applications Soft Errors and Fault-Tolerant Design /
Έκδοση: (2016)

3D Stacked Chips From Emerging Processes to Heterogeneous Systems /
Έκδοση: (2016)

Near Threshold Computing Technology, Methods and Applications /
Έκδοση: (2016)

Invasive Tightly Coupled Processor Arrays
ανά: LARI, VAHID
Έκδοση: (2016)

Operational Amplifiers Theory and Design /
ανά: Huijsing, Johan
Έκδοση: (2017)

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach /
ανά: Zhan, Naijun, κ.ά.
Έκδοση: (2017)

Fundamentals of IP and SoC Security Design, Verification, and Debug /
Έκδοση: (2017)

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