Yanni Zhao

	2009
3		Shujun Deng, Zhiqiu Kong, Jinian Bian, Yanni Zhao: Self-adjusting constrained random stimulus generation using splitting evenness evaluation and XOR constraints. ASP-DAC 2009: 769-774
2		Yanni Zhao, Jinian Bian, Shujun Deng, Zhiqiu Kong: Random stimulus generation with self-tuning. CSCWD 2009: 62-65
	2007
1		Shujun Deng, Jinian Bian, Weimin Wu, Xiaoqing Yang, Yanni Zhao: EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure. DAC 2007: 588-593

Coauthor Index

1	Jinian Bian	[1] [2] [3]
2	Shujun Deng	[1] [2] [3]
3	Zhiqiu Kong	[2] [3]
4	Weimin Wu	[1]
5	Xiaoqing Yang	[1]