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)

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

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

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)

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

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

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

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)

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

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

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

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

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)

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

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

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

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

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

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

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)

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

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

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

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

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

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

Modular Load Flow for Restructured Power Systems
ανά: Hariharan, M.V, κ.ά.
Έκδοση: (2016)

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

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

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

Cannot write session to /tmp/vufind_sessions/sess_tkmtjej5reb1qqi27i8k561d85