A new look at logic synthesis
- John A. Darringer
- William H. Joyner
- 1980
- DAC 1980
Publications
Date
Featured collections
Popular topics
15 results for John A. Darringer
Multi-core design automation challenges
- John A. Darringer
- 2007
- DAC 2007
The application of program verification techniques to hardware verification
- John A. Darringer
- 1988
- DAC 1988
The application of program verification techniques to hardware verification
- John A. Darringer
- 1979
- DAC 1979
Power management of multi-core chips: Challenges and pitfalls
- Pradip Bose
- Alper Buyuktosunoglu
- et al.
- 2012
- DATE 2012
Floorplanning challenges in early chip planning
- Jeonghee Shin
- John A. Darringer
- et al.
- 2011
- SOCC 2011
Early chip planning cockpit
- Jeonghee Shin
- John A. Darringer
- et al.
- 2011
- DATE 2011
Power-efficient, reliable microprocessor architectures: Modeling and design methods
- Pradip Bose
- Alper Buyuktosunoglu
- et al.
- 2010
- GLSVLSI 2010
Exploring power management in multi-core systems
- Reinaldo Bergamaschi
- Guoling Han
- et al.
- 2008
- ASP-DAC 2008
Performance modeling for early analysis of multi-core systems
- Reinaldo Bergamaschi
- Indira Nair
- et al.
- 2007
- CODES+ISSS 2007