Browse by Subject

Related Papers

2003	Design automation methodology and rf/analog modeling for rf CMOS and SiGe BiCMOS technologies
2000	LSS: A system for production logic synthesis
1998	Modular nets (MNETS): A modular design methodology for computer timers
1996	BooleDozer: Logic synthesis for ASICs
1996	Circuit placement, chip optimization, and wire routing for IBM IC technology
1996	Design considerations for Digital's PowerStorm graphics processor
1996	Design methodology for IBM ASIC products
1996	Design planning for high-performance ASICs
1996	IC technology and ASIC design for the Cray J90 supercomputer
1996	PowerPC AS A10 64-bit RISC microprocessor
1996	Technology-migratable ASIC library design
1996	Test methodologies and design automation for IBM ASICs
1996	The past and present roles of computer-aided engineering in DASD design
1990	A modeling system for top-down design of assembled products
1987	Parallel algorithms for chip placement by simulated annealing
1984	A CMOS LSSD test generation system
1984	A device-independent graphics package for CAD applications
1984	A software architecture for a mature design automation system
1984	ACORN: A system for CVS macro design by tree placement and tree customization
1984	An interactive system for VLSI chip physical design
1984	An iterative-improvement penalty-function-driven wire routing system
1984	Automated technology mapping
1984	Constraint solver for generalized IC layout
1984	Custom Chip/Card Design System
1984	Hardware design and description languages in IBM
1984	KWIRE: A multiple-technology, user-reconfigurable wiring tool for VLSI
1984	LSS: A system for production logic synthesis
1984	PSI: A symbolic layout system
1984	Statistical failure analysis of system timing
1984	Using a hardware simulation engine for custom MOS structured designs
1983	OYSTER: A Study of Integrated Circuits as Three-Dimensional Structures
1982	A Bipolar VLSI Custom Macro Physical Design Verification Strategy
1982	A VLSI Design Verification Strategy
1982	Bipolar Chip Design for a VLSI Microprocessor
1982	Boolean Comparison of Hardware and Flowcharts
1982	Design Verification System for Large-Scale LSI Designs
1982	Electrical Design of a High Speed Computer Package
1982	Timing Analysis of Computer Hardware
1981	Design Automation in IBM
1981	Fleshing Out Projections
1981	GRIN: Interactive Graphics for Modeling Solids
1981	Logic Synthesis Through Local Transformations
1981	Number of Vias: A Control Parameter for Global Wiring of High-Density Chips
1980	Stand-Alone Wiring Program for Josephson Logic
1964	Solid Logic Design Automation