Title: MOSFET MODELING FOR VLSI SIMULATION: Theory and Practice, Author: Narain Arora
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, Author: Tiziana Margaria
Title: Emerging Technologies for In Situ Processing, Author: D.J. Ehrlich
Title: Microarchitecture of VLSI Computers, Author: P. Antognetti
Title: Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings, Author: Paolo Enrico Camurati
Title: LPCVD Silicon Nitride and Oxynitride Films: Material and Applications in Integrated Circuit Technology, Author: F.H.P.M. Habraken
Title: Introduction to Formal Hardware Verification, Author: Thomas Kropf
Title: Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation: 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 Proceedings, Author: Dimitrios Soudris
Title: Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings, Author: Laurence Pierre
Title: Formal Hardware Verification: Methods and Systems in Comparison, Author: Thomas Kropf
Title: VLSI for Pattern Recognition and Image Processing, Author: K.S. Fu
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, Author: Dominique Borrione
Title: Combinatorial Algorithms for Integrated Circuit Layout, Author: Thomas Lengauer
Title: Asynchronous System-on-Chip Interconnect, Author: John Bainbridge
Title: VLSI Chip Design with the Hardware Description Language VERILOG: An Introduction Based on a Large RISC Processor Design, Author: Ulrich Golze
Title: Architecture Design and Validation Methods, Author: Egon Börger
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, Author: Daniel Geist
Title: Introduction to Formal Hardware Verification, Author: Thomas Kropf
Title: Design Automation, Languages, and Simulations, Author: Wai-Kai Chen
Title: Logic Design, Author: Wai-Kai Chen

Pagination Links