Title: Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation: 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 Proceedings / Edition 1, Author: Dimitrios Soudris
Title: Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings / Edition 1, Author: Paolo Enrico Camurati
Title: Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings / Edition 1, Author: Dominique Borrione
Title: Formal Hardware Verification: Methods and Systems in Comparison / Edition 1, Author: Thomas Kropf
Title: Current-Mode VLSI Analog Filters: Design and Applications / Edition 1, Author: P.V. Ananda Mohan
Title: Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings / Edition 1, Author: Daniel Geist
Title: Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings / Edition 1, Author: Tiziana Margaria
Title: Introduction to Formal Hardware Verification / Edition 1, Author: Thomas Kropf
Title: Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings / Edition 1, Author: Miriam Leeser
Title: Introduction to Formal Hardware Verification / Edition 1, Author: Thomas Kropf
Title: Theoretical Foundations of VLSI Design, Author: K. McEvoy
Title: VLSI Technology / Edition 1, Author: Wai-Kai Chen
Title: Chemical Vapor Deposition of Tungsten and Tungsten Silicides for VLSI/ ULSI Applications, Author: John E.J. Schmitz
Title: Handbook of VLSI Microlithography: Principles, Technology and Applications, Author: William B. Glendinning
Title: Skew-Tolerant Circuit Design / Edition 1, Author: David Harris
Title: From Frequency to Time-Average-Frequency: A Paradigm Shift in the Design of Electronic Systems / Edition 1, Author: Liming Xiu
Title: PSPICE and MATLAB for Electronics: An Integrated Approach, Second Edition / Edition 2, Author: John Okyere Attia
Title: Heterogeneous Optoelectronic Integration, Author: Elias Towe
Title: Digital Circuit Boards: Mach 1 GHz / Edition 1, Author: Ralph Morrison
Title: Semi-custom IC Design and VLSI, Author: P.J. Hicks

Pagination Links