Advanced Symbolic Analysis for VLSI Systems Methods and Applications /

Advanced Symbolic Analysis for VLSI Systems Methods and Applications /

This book provides comprehensive coverage of the recent advances in symbolic analysis techniques for design automation of nanometer VLSI systems. The presentation is organized in parts of fundamentals, basic implementation methods and applications for VLSI design. Topics emphasized include statisti...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Shi, Guoyong (Συγγραφέας), Tan, Sheldon X.-D (Συγγραφέας), Tlelo Cuautle, Esteban (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	New York, NY : Springer New York : Imprint: Springer, 2014.
Θέματα:	Engineering. Logic design. Electronics. Microelectronics. Electronic circuits. Circuits and Systems. Electronics and Microelectronics, Instrumentation. Logic Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Digital Logic Design Using Verilog Coding and RTL Synthesis /
ανά: Taraate, Vaibbhav
Έκδοση: (2016)

High Performance Integer Arithmetic Circuit Design on FPGA Architecture, Implementation and Design Automation /
ανά: Palchaudhuri, Ayan, κ.ά.
Έκδοση: (2016)

VLSI Physical Design: From Graph Partitioning to Timing Closure
ανά: Kahng, Andrew B., κ.ά.
Έκδοση: (2011)

More than Moore Creating High Value Micro/Nanoelectronics Systems /
Έκδοση: (2009)

Logic Synthesis for FSM-Based Control Units
ανά: Barkalov, Alexander, κ.ά.
Έκδοση: (2009)

Taxonomies for the Development and Verification of Digital Systems
Έκδοση: (2005)

Adiabatic Logic Future Trend and System Level Perspective /
ανά: Teichmann, Philip
Έκδοση: (2012)

A Roadmap for Formal Property Verification
ανά: DasGupta, Pallab
Έκδοση: (2006)

Defect-Oriented Testing for Nano-Metric CMOS VLSI Circuits 2nd Edition /
Έκδοση: (2007)

Introduction to Embedded System Design Using Field Programmable Gate Arrays
ανά: Dubey, Rahul
Έκδοση: (2009)

Robustness and Usability in Modern Design Flows
ανά: Fey, Görschwin, κ.ά.
Έκδοση: (2008)

Statistical Analysis and Optimization for VLSI: Timing and Power
ανά: Srivastava, Ashish, κ.ά.
Έκδοση: (2005)

Oscillation-Based Test in Mixed-Signal Circuits
ανά: Sánchez, Gloria Huertas, κ.ά.
Έκδοση: (2006)

Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits /
ανά: Alioto, Massimo, κ.ά.
Έκδοση: (2005)

Analog Circuit Design RF Circuits: Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage /
Έκδοση: (2006)

Calibration techniques in nyquist A/D converters
ανά: Ploeg, Hendrik van der, κ.ά.
Έκδοση: (2006)

ΣΔ A/D CONVERSION FOR SIGNAL CONDITIONING
ανά: Philips, Kathleen, κ.ά.
Έκδοση: (2006)

Analog Design Centering and Sizing
ανά: Graeb, Helmut E.
Έκδοση: (2007)

Fault Diagnosis of Analog Integrated Circuits
ανά: Kabisatpathy, Prithviraj, κ.ά.
Έκδοση: (2005)

Design of Systems on a Chip: Design and Test
Έκδοση: (2007)

Effective Functional Verification Principles and Processes /
ανά: Vasudevan, Srivatsa
Έκδοση: (2006)

Logic Synthesis for Compositional Microprogram Control Units
Έκδοση: (2008)

Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems /
ανά: Tlelo-Cuautle, Esteban, κ.ά.
Έκδοση: (2016)

Introduction to Advanced System-on-Chip Test Design and Optimization
ανά: Larsson, Erik
Έκδοση: (2005)

Static Timing Analysis for Nanometer Designs A Practical Approach /
ανά: Chadha, Rakesh, κ.ά.
Έκδοση: (2009)

Introduction to Mixed-Signal, Embedded Design
ανά: Doboli, Alex, κ.ά.
Έκδοση: (2011)

Adaptive Techniques for Mixed Signal System on Chip
ανά: Fayed, Ayman, κ.ά.
Έκδοση: (2006)

High-Performance Energy-Efficient Microprocessor Design
Έκδοση: (2006)

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

Low-Power Low-Voltage Sigma-Delta Modulators in Nanometer CMOS
ανά: Yao, Libin, κ.ά.
Έκδοση: (2006)

Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005 /
Έκδοση: (2006)

Gizopoulos / Advances in ElectronicTesting
Έκδοση: (2006)

Advanced BDD Optimization
ανά: Ebendt, Rüdiger, κ.ά.
Έκδοση: (2005)

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

Systematic Modeling and Analysis of Telecom Frontends and Their Building Blocks
ανά: Vanassche, Piet, κ.ά.
Έκδοση: (2005)

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

Low-Power VLSI Circuits and Systems
ανά: Pal, Ajit
Έκδοση: (2015)

High-Speed Photodiodes in Standard CMOS Technology
ανά: Radovanović, Saša, κ.ά.
Έκδοση: (2006)

Compiling Esterel
ανά: Potop-Butucaru, Dumitru, κ.ά.
Έκδοση: (2007)

Efficient Sensor Interfaces, Advanced Amplifiers and Low Power RF Systems Advances in Analog Circuit Design 2015 /
Έκδοση: (2016)

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