Xiushan Feng

Publication Activity (10 Years)

Years Active: 2001-2012
Publications (10 Years): 0

Top Topics

Highly Efficient

False Positives

Top Venues

Publications

Wen Chen, Nik Sumikawa, Li-C. Wang, Jayanta Bhadra, Xiushan Feng, Magdy S. Abadir
Novel test detection to improve simulation efficiency - A commercial experiment. ICCAD (2012)
David W. Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga P. Rajan
Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions. Int. J. Parallel Program. 34 (1) (2006)
Xiushan Feng, Alan J. Hu
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification. DAC (2006)
Xiushan Feng, Alan J. Hu
Cutpoints for formal equivalence verification of embedded software. EMSOFT (2005)
Xiushan Feng, Alan J. Hu, Jin Yang
Partitioned model checking from software specifications. ASP-DAC (2005)
Xiushan Feng, Alan J. Hu
Automatic formal verification for scheduled VLIW code. LCTES-SCOPES (2002)
Xiushan Feng, Chengde Han
A Fault-Tolerant Routing Scheme in Dynamic Networks. J. Comput. Sci. Technol. 16 (4) (2001)