Publications

15 results for John A. Darringer

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

Early analysis tools for system-on-a-chip design