 | 2009 |
| 5 |  | 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 |
| 4 |  | Yanni Zhao,
Jinian Bian,
Shujun Deng,
Zhiqiu Kong:
Random stimulus generation with self-tuning.
CSCWD 2009: 62-65 |
| 2007 |
| 3 |  | 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 |
| 2006 |
| 2 |  | Shujun Deng,
Weimin Wu,
Jinian Bian:
Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving.
CSCWD 2006: 522-528 |
| 1 |  | Shujun Deng,
Weimin Wu,
Jinian Bian:
Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving.
CSCWD (Selected Papers) 2006: 297-307 |