Robustness and Usability in Modern Design Flows

Robustness and Usability in Modern Design Flows

The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore today’s design flow has to be improved to achieve a higher productivity. In Robustness and Usability in Modern Design F...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Fey, Görschwin (Συγγραφέας), Drechsler, Rolf (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht : Springer Netherlands, 2008.
Θέματα:	Engineering. Computers. Mathematical logic. Electronics. Microelectronics. Electronic circuits. Circuits and Systems. Mathematical Logic and Formal Languages. Theory of Computation. Electronics and Microelectronics, Instrumentation.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

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

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

Advanced Symbolic Analysis for VLSI Systems Methods and Applications /
ανά: Shi, Guoyong, κ.ά.
Έκδοση: (2014)

Test Pattern Generation using Boolean Proof Engines
ανά: Drechsler, Rolf, κ.ά.
Έκδοση: (2009)

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

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

Robust SRAM Designs and Analysis
ανά: Singh, Jawar, κ.ά.
Έκδοση: (2013)

Predictive Technology Model for Robust Nanoelectronic Design
ανά: Cao, Yu
Έκδοση: (2011)

Nyquist AD Converters, Sensor Interfaces, and Robustness Advances in Analog Circuit Design, 2012 /
Έκδοση: (2013)

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

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

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

High Quality Test Pattern Generation and Boolean Satisfiability
ανά: Eggersglüß, Stephan, κ.ά.
Έκδοση: (2012)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014 /
Έκδοση: (2016)

Real-Time Applications with Stochastic Task Execution Times Analysis and Optimisation /
ανά: Manolache, Sorin, κ.ά.
Έκδοση: (2007)

Computing with Memory for Energy-Efficient Robust Systems
ανά: Paul, Somnath, κ.ά.
Έκδοση: (2014)

Automatic Methods for the Refinement of System Models From the Specification to the Implementation /
ανά: Seiter, Julia, κ.ά.
Έκδοση: (2017)

Exploring C for Microcontrollers A Hands on Approach /
ανά: Parab, Jivan S., κ.ά.
Έκδοση: (2007)

Circuit Design on Plastic Foils
ανά: Raiteri, Daniele, κ.ά.
Έκδοση: (2015)

Automated Electronic Filter Design
ανά: Banerjee, Amal
Έκδοση: (2017)

On-chip High-Voltage Generator Design Design Methodology for Charge Pumps /
ανά: Tanzawa, Toru
Έκδοση: (2016)

ESD Design for Analog Circuits
ανά: Vashchenko, Vladislav A., κ.ά.
Έκδοση: (2010)

Design of Organic Complementary Circuits and Systems on Foil
ανά: Abdinia, Sahel, κ.ά.
Έκδοση: (2015)

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

Extreme Statistics in Nanoscale Memory Design
Έκδοση: (2010)

Fault-Tolerant Design
ανά: Dubrova, Elena
Έκδοση: (2013)

Transformer-Based Design Techniques for Oscillators and Frequency Dividers
ανά: Luong, Howard Cam, κ.ά.
Έκδοση: (2016)

Design of Ultra-Low Power Impulse Radios
ανά: Apsel, Alyssa, κ.ά.
Έκδοση: (2014)

Inverter-Based Circuit Design Techniques for Low Supply Voltages
ανά: Palani, Rakesh Kumar, κ.ά.
Έκδοση: (2017)

Design of CMOS Analog Integrated Fractional-Order Circuits Applications in Medicine and Biology /
ανά: Tsirimokou, Georgia, κ.ά.
Έκδοση: (2017)

RF-Frontend Design for Process-Variation-Tolerant Receivers
ανά: Sakian, Pooyan, κ.ά.
Έκδοση: (2012)

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

High-Performance AD and DA Converters, IC Design in Scaled Technologies, and Time-Domain Signal Processing Advances in Analog Circuit Design 2014 /
Έκδοση: (2015)

Secure System Design and Trustable Computing
Έκδοση: (2016)

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

Design Exploration of Emerging Nano-scale Non-volatile Memory
ανά: Yu, Hao, κ.ά.
Έκδοση: (2014)

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

Wideband Continuous-time ΣΔ ADCs, Automotive Electronics, and Power Management Advances in Analog Circuit Design 2016 /
Έκδοση: (2017)

Frequency References, Power Management for SoC, and Smart Wireless Interfaces Advances in Analog Circuit Design 2013 /
Έκδοση: (2014)

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