| 2007 |
| 6 | EE | Xuexin Liu,
Wai-Shing Luk,
Yu Song,
Pushan Tang,
Xuan Zeng:
Robust Analog Circuit Sizing Using Ellipsoid Method and Affine Arithmetic.
ASP-DAC 2007: 203-208 |
| 5 | EE | Peng Zhang,
Wai-Shing Luk,
Yu Song,
Jiarong Tong,
Pushan Tang,
Xuan Zeng:
WCOMP: Waveform Comparison Tool for Mixed-signal Validation Regression in Memory Design.
ASP-DAC 2007: 209-214 |
| 2005 |
| 4 | EE | Wei Huang,
Pushan Tang,
Min Ding:
Sequential equivalence checking using cuts.
ASP-DAC 2005: 455-458 |
| 2001 |
| 3 | EE | Li Yueping,
Pushan Tang:
Relaxation Algorithm of Piecing-Error for Sub-Images.
J. Comput. Sci. Technol. 16(3): 270-277 (2001) |
| 1999 |
| 2 | EE | Feng Zhou,
Zhijun Huang,
Jiarong Tong,
Pushan Tang:
An Analytical Delay Model for SRAM-Based FPGA Interconnections.
ASP-DAC 1999: 101-104 |
| 1998 |
| 1 | | Rongzheng Zhou,
Jiarong Tong,
Pushan Tang:
FPART: A Multi-way FPGA Partitioning Procedure Based on the Improved FM Algorithm.
ASP-DAC 1998: 513-518 |