| 2005 |
|---|
| 3 | EE | Eduard Cerny,
Ashvin Dsouza,
Kevin Harer,
Pei-Hsin Ho,
Hi-Keung Tony Ma:
Supporting sequential assumptions in hybrid verification.
ASP-DAC 2005: 1035-1038 |
| 2000 |
|---|
| 2 | | Pei-Hsin Ho,
Thomas R. Shiple,
Kevin Harer,
James H. Kukula,
Robert F. Damiano,
Valeria Bertacco,
Jerry Taylor,
Jiang Long:
Smart Simulation Using Collaborative Formal and Simulation Engines.
ICCAD 2000: 120-126 |
| 1999 |
|---|
| 1 | EE | Narendra V. Shenoy,
Mahesh A. Iyer,
Robert F. Damiano,
Kevin Harer,
Hi-Keung Tony Ma,
Paul Thilking:
A Robust Solution to the Timing Convergence Problem in High-Performance Design.
ICCD 1999: 250-257 |
