| 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 | |
| 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] |