The yorktown simulation engine: Introduction
- Gregory F. Pfister
- 1982
- DAC 1982
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
8892 results for Computer Science
Survey of analysis, simulation and modeling for large scale logic circuits
- Albert E. Ruehli
- 1981
- DAC 1981
Interactive graphics for volume modeling
- R. Wolfe
- W. Fitzgerald
- et al.
- 1981
- DAC 1981
On logic comparison
- Leonard Berman
- 1981
- DAC 1981
Field testing the transformational question answering (TQA) system
- S.R. Patrick
- 1981
- ACL 1981
Symbolic simulation for correct machine design
- William C. Carter
- William H. Joyner
- et al.
- 1979
- DAC 1979
The application of program verification techniques to hardware verification
- John A. Darringer
- 1979
- DAC 1979
Designing with LCD: Language for computer design
- C.J. Evangefisti
- G. Goertzel
- et al.
- 1977
- DAC 1977
An experimental system for power/timing optimization of LSI chips
- B.J. Agule
- J.D. Lesser
- et al.
- 1977
- DAC 1977
Analytical power/timing optimization technique for digital system
- A.E. Ruehli
- P.K. Wolff
- et al.
- 1977
- DAC 1977