Travelled to:1 × Germany
1 × USA
Collaborated with:A.J.Hu
Talks about:formal (2) verif (2) cutpoint (1) softwar (1) schedul (1) equival (1) automat (1) insert (1) combin (1) level (1)
Person: Xiushan Feng
DBLP: Feng:Xiushan
Contributed to:
2006
2002Wrote 2 papers:
- DAC-2006-FengH #equivalence #verification
- Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification (XF, AJH), pp. 1063–1068.
- LCTES-SCOPES-2002-FengH #automation #verification
- Automatic formal verification for scheduled VLIW code (XF, AJH), pp. 85–92.