Title: Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation / Edition 1, Author: Giovanni DeMicheli
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: Morphological Image Processing: Architecture and VLSI design / Edition 1, Author: P.P. Jonker
Title: Computer Aided Logical Design with Emphasis on VLSI / Edition 4, Author: Frederick J. Hill
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: Formal Hardware Verification: Methods and Systems in Comparison / Edition 1, Author: Thomas Kropf
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 Microelectronic Fabrication: Volume 5 (Modular Series on Solid State Devices) / Edition 2, Author: Richard Jaeger
Title: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 13th International Workshop, PATMOS 2003, Torino, Italy, September 10-12, 2003, Proceedings / Edition 1, Author: Jorge Juan Chico
Title: Theoretical Foundations of VLSI Design, Author: K. McEvoy
Title: Dimension Reduction of Large-Scale Systems: Proceedings of a Workshop held in Oberwolfach, Germany, October 19-25, 2003 / Edition 1, Author: Peter Benner
Title: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings / Edition 1, Author: Vassilis Paliouras
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: VLSI Circuit Design Methodology Demystified: A Conceptual Taxonomy / Edition 1, Author: Liming Xiu
Title: Symbolic Analysis and Reduction of VLSI Circuits / Edition 1, Author: Zhanhai Qin
Title: VLSI-Design of Non-Volatile Memories / Edition 1, Author: Giovanni Campardo
Title: Practical Problems in VLSI Physical Design Automation / Edition 1, Author: Sung Kyu Lim
Title: Introduction to Formal Hardware Verification / Edition 1, Author: Thomas Kropf
Title: System on Chip Design Languages: Extended papers: best of FDL'01 and HDLCon'01 / Edition 1, Author: Anne Mignotte
Title: CMOS Fractional-N Synthesizers: Design for High Spectral Purity and Monolithic Integration / Edition 1, Author: Bram De Muer

Pagination Links