Practical Problems in VLSI Physical Design Automation

QR Code

Practical Problems in VLSI Physical Design Automation

Bibliographic Details
Main Author:	Lim, Sung Kyu. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands : Imprint: Springer, 2008.
Edition:	1st ed. 2008.
Subjects:	Electronic circuits. Algorithms. Logic design. Circuits and Systems. Algorithm Analysis and Problem Complexity. Logic Design.
Online Access:	https://doi.org/10.1007/978-1-4020-6627-6

Similar Items

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices /
by: Czerwinski, Robert., et al.
Published: (2013)

High-Level Synthesis : from Algorithm to Digital Circuit /
Published: (2008)

Theory of Digital Automata /
by: Borowik, Bohdan., et al.
Published: (2013)

More than Moore Creating High Value Micro/Nanoelectronics Systems /
Published: (2009)

Functional Design Errors in Digital Circuits : Diagnosis Correction and Repair /
by: Chang, Kai-hui., et al.
Published: (2009)

Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /
Published: (2017)

Complex Binary Number System : Algorithms and Circuits /
by: Jamil, Tariq.
Published: (2013)

Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings /
Published: (2017)

Logic Synthesis for FSM-Based Control Units
by: Barkalov, Alexander., et al.
Published: (2009)

On Sets and Graphs : Perspectives on Logic and Combinatorics /
by: Omodeo, Eugenio G., et al.
Published: (2017)

Electronics System Design Techniques for Safety Critical Applications /
by: Sterpone, Luca.
Published: (2009)

ESL Models and their Application : Electronic System Level Design and Verification in Practice /
by: Bailey, Brian., et al.
Published: (2010)

Introduction to Embedded System Design Using Field Programmable Gate Arrays
by: Dubey, Rahul.
Published: (2009)

Design, Analysis and Test of Logic Circuits Under Uncertainty /
by: Krishnaswamy, Smita., et al.
Published: (2013)

Principles and Practice of Constraint Programming : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings /
Published: (2017)

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Published: (2017)

Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /
Published: (2017)

Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Published: (2017)

Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings /
Published: (2017)

Minimizing and Exploiting Leakage in VLSI Design /
by: Jayakumar, Nikhil., et al.
Published: (2010)

Transactions on Petri Nets and Other Models of Concurrency XII /
Published: (2017)

Speech Processing in Embedded Systems /
by: Sinha, Priyabrata.
Published: (2010)

On and Off-Chip Crosstalk Avoidance in VLSI Design /
by: Duan, Chunjie., et al.
Published: (2010)

VLSI Design for Video Coding : H.264/AVC Encoding from Standard Specification to Chip /
by: Lin, Youn-Long Steve., et al.
Published: (2010)

Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /
Published: (2017)

Logic Synthesis for Compositional Microprogram Control Units
by: Barkalov, Alexander., et al.
Published: (2008)

Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Published: (2017)

Robustness and Usability in Modern Design Flows /
by: Fey, Görschwin., et al.
Published: (2008)

Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Published: (2017)

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II /
Published: (2017)

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
Published: (2017)

Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers /
Published: (2017)

Microelectronic circuit design /
by: Jaeger, Richard C.
Published: (2008)

Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
by: Zeume, Thomas.
Published: (2017)

Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Published: (2017)

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers /
Published: (2017)

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Published: (2017)

NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
Published: (2017)

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Published: (2017)

Computer Science - Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /
Published: (2017)