Symbolic Analysis and Reduction of VLSI Circuits

Symbolic Analysis and Reduction of VLSI Circuits

Bibliographic Details
Published in:	Springer e-books
Main Author:	Qin, Zhanhai
Corporate Author:	SpringerLink (Online service)
Other Authors:	Cheng, Chung-Kuan, Tan, Sheldon X. D.
Format:	eBook
Language:	English
Published:	Boston, MA : Springer Science + Business Media, Inc., 2005.
Subjects:	Computer engineering engineering Engineering Electronic and Computer Engineering
Online Access:	http://dx.doi.org/10.1007/b103440 Перейти в каталог НБ ТГУ

Similar Items

CMOS PLL Synthesizers: Analysis and Design
by: Shu, Keliu
Published: (2005)

Clock Generators for SOC Processors Circuits and Architectures /
by: Fahim, Amr M.
Published: (2005)

Defect-Oriented Testing for Nano-Metric CMOS VLSI Circuits 2nd Edition /
by: Sachdev, Manoj
Published: (2007)

Modern Circuit Placement Best Practices and Results /
by: Nam, Gi-Joon
Published: (2007)

Axial Flux Permanent Magnet Brushless Machines
by: Gieras, Jacek F.
Published: (2005)

The Designer's Guide to High-Purity Oscillators
by: Hegazi, Emad
Published: (2005)

Perpendicular Magnetic Recording
by: Khizroev, Sakhrat
Published: (2005)

Computer Engineering in Applied Electromagnetism
by: Wiak, S.
Published: (2005)

A Platform-Centric Approach to System-on-Chip (SOC) Design
by: Madisetti, Vijay K.
Published: (2005)

Transient Analysis of Electric Power Circuits Handbook
by: Shenkman, Arieh L.
Published: (2005)

METHODOLOGY FOR THE DIGITAL CALIBRATION OF ANALOG CIRCUITS AND SYSTEMS
by: Pastre, Marc
Published: (2006)

Analisi dei sistemi dinamici
by: Giua, Alessandro
Published: (2006)

Analog Integrated Circuits for Communication Principles, Simulation and Design /
by: Pederson, Donald O.
Published: (2008)

Systematic Modeling and Analysis of Telecom Frontends and Their Building Blocks
by: Vanassche, Piet
Published: (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 /
by: Steyaert, Michiel
Published: (2006)

Fault Diagnosis of Analog Integrated Circuits
by: Kabisatpathy, Prithviraj
Published: (2005)

Global Mobile Satellite Communications For Maritime, Land and Aeronautical Applications /
by: Ilcev, Stojce Dimov
Published: (2005)

Oscillation-Based Test in Mixed-Signal Circuits
by: Sánchez, Gloria Huertas
Published: (2006)

Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits /
by: Alioto, Massimo
Published: (2005)

High-Frequency Oscillator Design for Integrated Transceivers
by: Tang, Johan van der
Published: (2005)

Design of Very High-Frequency Multirate Switched-Capacitor Circuits Extending the Boundaries of CMOS Analog Front-End Filtering /
by: U, Seng-Pan
Published: (2006)

Fully-Depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications /
by: Sakurai, Takayasu
Published: (2006)

Scalable Hardware Verification with Symbolic Simulation
by: Bertacco, Valeria
Published: (2006)

LAN-ESD Co-Design for Fully Integrated CMOS Wireless Receivers
by: Leroux, Paul
Published: (2005)

Wideband Low Noise Amplifiers Exploiting Thermal Noise Cancellation
by: Bruccoleri, Federico
Published: (2005)

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
by: Castro-López, R.
Published: (2006)

Circuiti Fondamenti di Circuiti per l'Ingegneria /
by: Magistris, Massimiliano
Published: (2008)

Digital VLSI Systems Design A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog /
by: Ramachandran, S.
Published: (2007)

Thermal and Power Management of Integrated Circuits
by: Vassighi, Arman
Published: (2006)

A Practical Guide for SystemVerilog Assertions
by: Vijayaraghavan, Srikanth
Published: (2005)

CPU Design: Answers to Frequently Asked Questions
by: Thimmannagari, Chandra M. R.
Published: (2005)

Metric- Driven Design Verification An Engineer's and Executive's Guide to First Pass Success /
by: Carter, Hamilton B.
Published: (2007)

Sub-threshold Design for Ultra Low-Power Systems
by: Wang, Alice
Published: (2006)

Adaptive Techniques for Dynamic Processor Optimization Theory and Practice /
by: Chandrakasan, Anantha P.
Published: (2008)

Physical Design Essentials An ASIC Design Implementation Perspective /
by: Golshan, Khosrow
Published: (2007)

Sensor Networks and Configuration Fundamentals, Standards, Platforms, and Applications /
by: Mahalik, Nitaigour P.
Published: (2007)

Analysis and Design of Advanced Multiservice Networks Supporting Mobility, Multimedia, and Internetworking COST Action 279 Final Report /
by: Brazio, Jose
Published: (2006)

Digital Design and Implementation with Field Programmable Devices
by: Navabi, Zainalabedin
Published: (2005)

Direct Transistor-level Layout for Digital Blocks
by: Gopalakrishnan, Prakash
Published: (2005)

Assertion-Based Design
by: Foster, Harry
Published: (2005)