Nano, Quantum and Molecular Computing Implications to High Level Design and Validation /

Nano, Quantum and Molecular Computing Implications to High Level Design and Validation /

One of the grand challenges in the nano-scopic computing era is guarantees of robustness. Robust computing system design is confronted with quantum physical, probabilistic, and even biological phenomena, and guaranteeing high reliability is much more difficult than ever before. Scaling devices down...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Shukla, Sandeep K. (Επιμελητής έκδοσης), Bahar, R. Iris (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2004.
Θέματα:	Computer science. Computers. Computer-aided engineering. Electrical engineering. Electronic circuits. Computer Science. Theory of Computation. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design. Electrical Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Algorithms for VLSI Physical Design Automation
ανά: Sherwani, Naveed A.
Έκδοση: (1999)

Automatic Layout Modification Including design reuse of the Alpha CPU in 0.13 micron SOI technology.
ανά: Reinhardt, Michael
Έκδοση: (2002)

The e Hardware Verification Language
ανά: Iman, Sasan, κ.ά.
Έκδοση: (2004)

Direct Transistor-level Layout for Digital Blocks
ανά: Gopalakrishnan, Prakash, κ.ά.
Έκδοση: (2005)

Surviving the SOC Revolution A Guide to Platform-Based Design /
ανά: Chang, Henry, κ.ά.
Έκδοση: (1999)

High Performance Memory Testing: Design Principles, Fault Modeling and Self-Test
ανά: Adams, R. Dean
Έκδοση: (2003)

Closing the Gap Between ASIC & Custom Tools and Techniques for High-Performance ASIC Design /
ανά: Chinnery, David, κ.ά.
Έκδοση: (2002)

SAT-Based Scalable Formal Verification Solutions
ανά: Ganai, Malay K., κ.ά.
Έκδοση: (2007)

Computer Methods for Analysis of Mixed-Mode Switching Circuits
ανά: Yuan, Fei, κ.ά.
Έκδοση: (2004)

Embedded System Design
ανά: Marwedel, Peter
Έκδοση: (2006)

High Speed A/D Converters Understanding Data Converters Through SPICE /
ανά: Alfi, Moscovici
Έκδοση: (2002)

Assertion-Based Design
ανά: Foster, Harry, κ.ά.
Έκδοση: (2005)

The Designer’s Guide to Spice and Spectre
ανά: Kundert, Kenneth S.
Έκδοση: (1995)

A Designer’s Guide to Built-In Self-Test
ανά: Stroud, Charles E.
Έκδοση: (2002)

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

Structured Electronic Design Negative-Feedback Amplifiers /
ανά: Verhoeven, C. J. M., κ.ά.
Έκδοση: (2003)

Digital Design and Implementation with Field Programmable Devices
ανά: Navabi, Zainalabedin
Έκδοση: (2005)

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

Design, Simulation and Applications of Inductors and Transformers for Si RF ICs
ανά: Niknejad, Ali M., κ.ά.
Έκδοση: (2000)

Static Crosstalk-Noise Analysis For Deep Sub-Micron Digital Designs /
ανά: Chen, Pinhong, κ.ά.
Έκδοση: (2004)

Low-Power Design Techniques and CAD Tools for Analog and RF Integrated Circuits
Έκδοση: (2001)

Advanced ASIC Chip Synthesis Using Synopsys® Design Compiler™ Physical Compiler™ and PrimeTime®
ανά: Bhatnagar, Himanshu
Έκδοση: (2002)

Timing
ανά: Sapatnekar, Sachin
Έκδοση: (2004)

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
ανά: Singh, Leena, κ.ά.
Έκδοση: (2004)

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

CTL for Test Information of Digital ICS
ανά: Kapur, Rohit
Έκδοση: (2002)

The Boundary-Scan Handbook Analog and Digital /
ανά: Parker, Kenneth P.
Έκδοση: (1998)

IC Interconnect Analysis
ανά: Celik, Mustafa, κ.ά.
Έκδοση: (2002)

Power-constrained Testing of VLSI Circuits
ανά: Nicolici, Nicola, κ.ά.
Έκδοση: (2003)

Clocking in Modern VLSI Systems
Έκδοση: (2009)

Functional Verification Coverage Measurement and Analysis
ανά: Piziali, Andrew
Έκδοση: (2008)

Constraint-Based Verification
ανά: Yuan, Jun, κ.ά.
Έκδοση: (2006)

Abstraction Refinement for Large Scale Model Checking
ανά: Wang, Chao, κ.ά.
Έκδοση: (2006)

Creating Assertion-Based IP
ανά: Foster, Harry D., κ.ά.
Έκδοση: (2008)

Memory Architecture Exploration for Programmable Embedded Systems
ανά: Grun, Peter, κ.ά.
Έκδοση: (2002)

System Design with SystemC
ανά: Grötker, Thorsten, κ.ά.
Έκδοση: (2002)

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling /
ανά: Sutherland, Stuart, κ.ά.
Έκδοση: (2006)

System-on-a-Chip Verification Methodology and Techniques /
ανά: Rashinkar, Prakash, κ.ά.
Έκδοση: (2002)

The Designer’s Guide to Verilog-AMS, June 2004
ανά: Kundert, Kenneth S., κ.ά.
Έκδοση: (2004)

Reuse Methodology Manual for System-on-a-Chip Designs
ανά: Keating, Michael, κ.ά.
Έκδοση: (2002)

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