Title: MOSFET MODELING FOR VLSI SIMULATION: Theory and Practice, Author: Narain Arora
Title: Introduction to Formal Hardware Verification / Edition 1, Author: Thomas Kropf
Title: Mixed-Mode Simulation, Author: Resve A. Saleh
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: VLSI CAD Tools and Applications, Author: Wolfgang Fichtner
Title: Microarchitecture of VLSI Computers, Author: P. Antognetti
Title: Formal Hardware Verification: Methods and Systems in Comparison / Edition 1, Author: Thomas Kropf
Title: Rapid Reliability Assessment of VLSICs, Author: A.P. Dorey
Title: Introduction to Formal Hardware Verification / Edition 1, Author: Thomas Kropf
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: Digital CMOS Circuit Design, Author: Silvia Annaratone
Title: LPCVD Silicon Nitride and Oxynitride Films: Material and Applications in Integrated Circuit Technology, Author: F.H.P.M. Habraken
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: 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: Asynchronous System-on-Chip Interconnect, Author: John Bainbridge
Title: Combinatorial Algorithms for Integrated Circuit Layout, Author: Thomas Lengauer
Title: Emerging Technologies for In Situ Processing, Author: D.J. Ehrlich
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: VLSI for Pattern Recognition and Image Processing, Author: K.S. Fu
Title: VLSI Design of Neural Networks, Author: Ulrich Ramacher

Pagination Links