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: Morphological Image Processing: Architecture and VLSI design / Edition 1, Author: P.P. Jonker
Title: VLSI-Design of Non-Volatile Memories, Author: Giovanni Campardo
Title: From Frequency to Time-Average-Frequency: A Paradigm Shift in the Design of Electronic Systems / Edition 1, Author: Liming Xiu
Title: Computer Aided Logical Design with Emphasis on VLSI / Edition 4, Author: Frederick J. Hill
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: Theoretical Foundations of VLSI Design, Author: K. McEvoy
Title: Introduction to Formal Hardware Verification / Edition 1, Author: Thomas Kropf
Title: VLSI Circuit Design Methodology Demystified: A Conceptual Taxonomy / Edition 1, Author: Liming Xiu
Title: Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation / Edition 1, Author: Giovanni DeMicheli
Title: PSPICE and MATLAB for Electronics: An Integrated Approach, Second Edition / Edition 2, Author: John Okyere Attia
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, Author: Jorge Juan Chico
Title: Formal Hardware Verification: Methods and Systems in Comparison, Author: Thomas Kropf