The Unknown Component Problem Theory and Applications /

The Unknown Component Problem Theory and Applications /

The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Villa, Tiziano (Συγγραφέας), Yevtushenko, Nina (Συγγραφέας), Brayton, Robert K. (Συγγραφέας), Mishchenko, Alan (Συγγραφέας), Petrenko, Alexandre (Συγγραφέας), Sangiovanni-Vincentelli, Alberto (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2012.
Θέματα:	Engineering. Logic design. Electrical engineering. Electronic circuits. Circuits and Systems. Logic Design. Electrical Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Reversible Logic Synthesis Methodologies with Application to Quantum Computing
ανά: Taha, Saleem Mohammed Ridha
Έκδοση: (2016)

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

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

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

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /
ανά: Gokhale, Maya, κ.ά.
Έκδοση: (2005)

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
ανά: Czerwinski, Robert, κ.ά.
Έκδοση: (2013)

Substrate Noise Analysis and Optimization for IC Design /
ανά: Charbon, Edoardo, κ.ά.
Έκδοση: (2001)

Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design
ανά: Mo, Fan, κ.ά.
Έκδοση: (2004)

Logic Synthesis and Verification Algorithms
ανά: Hachtel, Gary D., κ.ά.
Έκδοση: (1996)

Inductive Powering Basic Theory and Application to Biomedical Systems /
Έκδοση: (2009)

Practical Problems in VLSI Physical Design Automation
ανά: Lim, Sung Kyu
Έκδοση: (2008)

Compact Models and Measurement Techniques for High-Speed Interconnects
ανά: Sharma, Rohit, κ.ά.
Έκδοση: (2012)

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators
ανά: Rahimi, Abbas, κ.ά.
Έκδοση: (2017)

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /
ανά: Chang, Kai-hui, κ.ά.
Έκδοση: (2009)

Theory of Digital Automata
ανά: Borowik, Bohdan, κ.ά.
Έκδοση: (2013)

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

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

New Data Structures and Algorithms for Logic Synthesis and Verification
ανά: Amaru, Luca Gaetano
Έκδοση: (2017)

Fundamentals of Electronic Systems Design
ανά: Lienig, Jens, κ.ά.
Έκδοση: (2017)

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

High-Level Synthesis From Algorithm to Digital Circuit /
Έκδοση: (2008)

Logic Circuit Design Selected Methods /
ανά: Vingron, Shimon P.
Έκδοση: (2012)

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

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

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

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

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)

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 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)

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

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

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)

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

Cannot write session to /tmp/vufind_sessions/sess_vkhu87vh3lifto2batkfhifcrc