Publications

8 results at DAC 2010

History-based VLSI legalization using network flow
- - Minsik Cho
  - Haoxing Ren
  - et al.
- 2010
- DAC 2010
Pareto sampling: Choosing the right weights by Derivative Pursuit
- - Amith Singhee
  - Pamela Castalino
- 2010
- DAC 2010
EDA challenges and options: Investing for the future
- - Ruchir Puri
  - William Joyner
  - et al.
- 2010
- DAC 2010
Bridging pre-silicon verification and post-silicon validation
- - Amir Nahir
  - Avi Ziv
  - et al.
- 2010
- DAC 2010
Reconfigurable multi-function logic based on graphene p-n junctions
- - Sansiri Tanachutiwat
  - Ji Ung Lee
  - et al.
- 2010
- DAC 2010
A linear algorithm for full-chip statistical leakage power analysis considering weak spatial correlation
- - Ruijing Shen
  - Sheldon X.-D. Tan
  - et al.
- 2010
- DAC 2010
Coverage in interpolation-based model checking
- - Hana Chockler
  - Daniel Kroening
  - et al.
- 2010
- DAC 2010
Transistor sizing of custom high-performance digital circuits with parametric yield considerations
- - Daniel K. Beece
  - Jinjun Xiong
  - et al.
- 2010
- DAC 2010