Xiushan Feng

According to our database, Xiushan Feng authored at least 7 papers between 2001 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Novel test detection to improve simulation efficiency - A commercial experiment.

Wen Chen, Nik Sumikawa, Li-C. Wang, Jayanta Bhadra, Xiushan Feng, Magdy S. Abadir

Proceedings of the 2012 IEEE/ACM International Conference on Computer-Aided Design, 2012

2006

Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.

David W. Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga P. Rajan

Int. J. Parallel Program., 2006

Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification.

Xiushan Feng, Alan J. Hu

Proceedings of the 43rd Design Automation Conference, 2006

2005

Cutpoints for formal equivalence verification of embedded software.

Xiushan Feng, Alan J. Hu

Proceedings of the EMSOFT 2005, 2005

Partitioned model checking from software specifications.

Xiushan Feng, Alan J. Hu, Jin Yang

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2002

Automatic formal verification for scheduled VLIW code.

Xiushan Feng, Alan J. Hu

Proceedings of the 2002 Joint Conference on Languages, 2002

2001

A Fault-Tolerant Routing Scheme in Dynamic Networks.

Xiushan Feng, Chengde Han

J. Comput. Sci. Technol., 2001