Advanced BDD Optimization

Advanced BDD Optimization

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

VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. in logic synthesis, ver- cation or design-for-testability. In recent practical applications, BDDs are optimized with respect t...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Ebendt, Rüdiger (Συγγραφέας), Fey, Görschwin (Συγγραφέας), Drechsler, Rolf (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2005.
Θέματα:	Engineering. Probabilities. Mechanical engineering. Engineering design. Electrical engineering. Electronics. Microelectronics. Electronic circuits. Circuits and Systems. Probability Theory and Stochastic Processes. Mechanical Engineering. Electrical Engineering. Engineering Design. Electronics and Microelectronics, Instrumentation.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Introduction to Advanced System-on-Chip Test Design and Optimization
ανά: Larsson, Erik
Έκδοση: (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)

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

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

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

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

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

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

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)

Timing Optimization Through Clock Skew Scheduling
Έκδοση: (2009)

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

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

Wideband Low Noise Amplifiers Exploiting Thermal Noise Cancellation
ανά: Bruccoleri, Federico, κ.ά.
Έκδοση: (2005)

Design of Very High-Frequency Multirate Switched-Capacitor Circuits Extending the Boundaries of CMOS Analog Front-End Filtering /
ανά: U, Seng-Pan, κ.ά.
Έκδοση: (2006)

Wide-Bandwidth High-Dynamic Range D/A Converters
ανά: Doris, Konstantinos, κ.ά.
Έκδοση: (2006)

Advanced design techniques for RF power amplifiers
ανά: Rudiakova, Anna, κ.ά.
Έκδοση: (2006)

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

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

Adaptive Techniques for Dynamic Processor Optimization Theory and Practice /
Έκδοση: (2008)

Fully-Depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications /
ανά: Sakurai, Takayasu, κ.ά.
Έκδοση: (2006)

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

Power-Aware Architecting for data-dominated applications
ανά: Ditzel, Maarten, κ.ά.
Έκδοση: (2007)

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

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
ανά: CASTRO-LÓPEZ, R., κ.ά.
Έκδοση: (2006)

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

Standardized Functional Verification
ανά: Wiemann, Alan
Έκδοση: (2008)

Transient Analysis of Electric Power Circuits Handbook
ανά: Shenkman, Arieh L.
Έκδοση: (2005)

Digital Timing Measurements From Scopes and Probes to Timing and Jitter /
ανά: Maichen, Wolfgang
Έκδοση: (2006)

Dynamic Characterisation of Analogue-to-Digital Converters
ανά: Dallet, Dominique, κ.ά.
Έκδοση: (2005)

Essential Issues in SOC Design Designing Complex Systems-on-Chip /
Έκδοση: (2006)

Nanometer Technology Designs High-Quality Delay Tests
ανά: Tehranipoor, Mohammad, κ.ά.
Έκδοση: (2008)

METHODOLOGY FOR THE DIGITAL CALIBRATION OF ANALOG CIRCUITS AND SYSTEMS
ανά: Pastre, Marc, κ.ά.
Έκδοση: (2006)

Switched-Capacitor Techniques For High-Accuracy Filter And ADC Design
ανά: Quinn, Patrick J., κ.ά.
Έκδοση: (2007)

CPU Design: Answers to Frequently Asked Questions
ανά: Thimmannagari, Chandra M. R.
Έκδοση: (2005)

A Practical Guide for SystemVerilog Assertions
ανά: Vijayaraghavan, Srikanth, κ.ά.
Έκδοση: (2005)

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