Title: Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods, Author: Jui-Ming Chang
Title: MOSFET Modeling & BSIM3 User's Guide, Author: Yuhua Cheng
Title: GaAs MESFET Circuit Design, Author: Robert Soares
Title: Digital Timing Macromodeling for VLSI Design Verification, Author: Jeong-Taek Kong
Title: Formal Hardware Verification: Methods and Systems in Comparison, Author: Thomas Kropf
Title: Rapid Prototyping of Digital Systems, Author: James O. Hamblen
Title: Computer-Aided Design and VLSI Device Development, Author: Kit Man Cham
Title: Computer-Aided Design Techniques for Low Power Sequential Logic Circuits, Author: José Monteiro
Title: Analog Design Issues in Digital VLSI Circuits and Systems: A Special Issue of Analog Integrated Circuits and Signal Processing, An International Journal Volume 14, Nos. 1/2 (1997), Author: Juan J. Becerra
Title: R-Trees: Theory and Applications, Author: Yannis Manolopoulos
Title: VHDL: A logic synthesis approach, Author: D. Naylor
Title: Logic Minimization Algorithms for VLSI Synthesis, Author: Robert K. Brayton
Title: Analysis and Design of Electronic Circuits Using PCs, Author: John Greenbaum
Title: RF / Microwave Circuit Design for Wireless Applications, Author: Ulrich L. Rohde
Title: Controlling Conducted Emissions by Design, Author: J. Fluke
Title: Introduction to Analog VLSI Design Automation, Author: Mohammed Ismail
Title: A Computer-Aided Design and Synthesis Environment for Analog Integrated Circuits, Author: Geert Van der Plas
Title: Analysis and Design of Analog Integrated Circuits, Author: Paul R. Gray
Title: Computer-Integrated Building Design, Author: Tim Cornick
Title: Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications, Author: Patrick C. McGeer

Pagination Links