Pushan Tang

Publication Activity (10 Years)

Years Active: 1989-2010
Publications (10 Years): 0

Publications

Bao Liu, Zhen Cao, Jun Tao, Xuan Zeng, Pushan Tang, H.-S. Philip Wong
Intel LVS logic as a combinational logic paradigm in CNT technology. NANOARCH (2010)
Xuexin Liu, Wai-Shing Luk, Yu Song, Pushan Tang, Xuan Zeng
Robust Analog Circuit Sizing Using Ellipsoid Method and Affine Arithmetic. ASP-DAC (2007)
Ming-e Jing, Dian Zhou, Pushan Tang, Xiaofang Zhou, Hua Zhang
Solving SAT problem by heuristic polarity decision-making algorithm. Sci. China Ser. F Inf. Sci. 50 (6) (2007)
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)
Wei Huang, Pushan Tang, Min Ding
Sequential equivalence checking using cuts. ASP-DAC (2005)
Min Ding, Pushan Tang, Dian Zhou
Integrating advanced reasoning into a SAT solver. Sci. China Ser. F Inf. Sci. 48 (3) (2005)
Li Yueping, Pushan Tang
Relaxation Algorithm of Piecing-Error for Sub-Images. J. Comput. Sci. Technol. 16 (3) (2001)
Xuan Zeng, Mingyuan Li, Wenqing Zhao, Pushan Tang, Dian Zhou
Parasitic and mismatch modeling for optimal stack generation [in CMOS]. ISCAS (2000)
Feng Zhou, Zhijun Huang, Jiarong Tong, Pushan Tang
An Analytical Delay Model for SRAM-Based FPGA Interconnections. ASP-DAC (1999)
Rongzheng Zhou, Jiarong Tong, Pushan Tang
FPART: A Multi-way FPGA Partitioning Procedure Based on the Improved FM Algorithm. ASP-DAC (1998)
Ying-Meng Li, Pushan Tang
Global refinement for building block layout. ICCAD (1989)