Practical Problems in VLSI Physical Design Automation

Practical Problems in VLSI Physical Design Automation

Practical Problems in VLSI Physical Design Automation contains problems and solutions related to various well-known algorithms used in VLSI physical design automation. Dr. Lim believes that the best way to learn new algorithms is to walk through a small example by hand. This knowledge will greatly h...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Lim, Sung Kyu (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht : Springer Netherlands, 2008.
Θέματα:	Engineering. Logic design. Algorithms. Electronic circuits. Circuits and Systems. Algorithm Analysis and Problem Complexity. Logic Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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)

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

Electronic Design Automation of Analog ICs combining Gradient Models with Multi-Objective Evolutionary Algorithms
ανά: Rocha, Frederico A.E, κ.ά.
Έκδοση: (2014)

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

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

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

The Unknown Component Problem Theory and Applications /
ανά: Villa, Tiziano, κ.ά.
Έκδοση: (2012)

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

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

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

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

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

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

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

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators
ανά: Rahimi, Abbas, κ.ά.
Έκδοση: (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)

Complex Binary Number System Algorithms and Circuits /
ανά: Jamil, Tariq
Έκδοση: (2013)

Introduzione al Progetto di Sistemi Digitali
ανά: Donzellini, Giuliano, κ.ά.
Έκδοση: (2018)

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

Guide to FPGA Implementation of Arithmetic Functions
ανά: Deschamps, Jean-Pierre, κ.ά.
Έκδοση: (2012)

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

Electronics System Design Techniques for Safety Critical Applications
ανά: Sterpone, Luca
Έκδοση: (2009)

Degital design /
ανά: Mano, M. Morris, 1927-
Έκδοση: (1991)

Separation Logic for High-level Synthesis
ανά: Winterstein, Felix
Έκδοση: (2017)

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

Design, Analysis and Test of Logic Circuits Under Uncertainty
ανά: Krishnaswamy, Smita, κ.ά.
Έκδοση: (2013)

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers /
Έκδοση: (2013)

Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings /
Έκδοση: (2013)

ESL Models and their Application Electronic System Level Design and Verification in Practice /
ανά: Bailey, Brian, κ.ά.
Έκδοση: (2010)

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

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
Έκδοση: (2016)

Machine Learning in VLSI Computer-Aided Design
Έκδοση: (2019)

Proceedings of the conference on European design automation
Έκδοση: (1996)

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
Έκδοση: (2015)

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

Proceedings of the 31st annual Design Automation Conference
Έκδοση: (1994)

Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings /
Έκδοση: (2012)

Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings /
Έκδοση: (2011)

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