Early analysis tools for system-on-a-chip design
- J.A. Darringer
- Reinaldo A. Bergamaschi
- et al.
- 2002
- IBM J. Res. Dev
Paper
Publications
15 results for John A. Darringer
EDA in IBM: Past, present, and future
- John Darringer
- 2000
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
PaperThe application of program verification techniques to hardware verification
- John A. Darringer
- 1988
- DAC 1988
Conference paperA new look at logic synthesis
- John A. Darringer
- William H. Joyner
- 1980
- DAC 1980
Conference paperThe application of program verification techniques to hardware verification
- John A. Darringer
- 1979
- DAC 1979
Conference paper