A new look at logic synthesis
- John A. Darringer
- William H. Joyner
- 1980
- DAC 1980
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
14 results for William H. Joyner
EDA challenges and options: Investing for the future
- Ruchir Puri
- William Joyner
- et al.
- 2010
- DAC 2010
Moore's Law: Another casualty of the financial meltdown?
- Jason Cong
- N.S. Nagaraj
- et al.
- 2009
- DAC 2009
Technology adaptation in logic synthesis
- William H. Joyner
- Louise H. Trevillyan
- et al.
- 1986
- DAC 1986
Symbolic simulation for correct machine design
- William C. Carter
- William H. Joyner
- et al.
- 1979
- DAC 1979
Resolution Strategies as Decision Procedures
- William H. Joyner
- 1976
- Journal of the ACM
Global flow analysis in automatic logic design
- Louise Trevillyan
- William Joyner
- et al.
- 1986
- IEEE TC
A Problem-Reduction Approach to Proving Simulation Between Programs
- Alexander Birman
- William H. Joyner
- 1976
- IEEE TSE
Design and test: The Lost World
- William H. Joyner Jr.
- 1997
- ICCD 1997
Automated proofs of microprogram correctness
- W.H. Joyner
- W.C. Carter
- et al.
- 1976
- MICRO Annual Workshop 1976