A new look at logic synthesis
- John A. Darringer
- William H. Joyner
- 1980
- DAC 1980
Publications
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