Kecheng Hao

	2010
4		Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang: Optimizing equivalence checking for behavioral synthesis. DATE 2010: 1500-1505
	2009
3		Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang: Formal Verification for High-Assurance Behavioral Synthesis. ATVA 2009: 337-351
2		Kecheng Hao, Fei Xie: Componentizing hardware/software interface design. DATE 2009: 232-237
	2007
1		Ping Hang Cheung, Kecheng Hao, Fei Xie: Component-Based Hardware/Software Co-Simulation. DSD 2007: 265-270

Coauthor Index

1	Yan Chen	[3]
2	Ping Hang Cheung	[1]
3	Sandip Ray	[3] [4]
4	Fei Xie	[1] [2] [3] [4]
5	Jin Yang	[3] [4]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page