2009 | ||
---|---|---|
2 | EE | Ling Wang, Jianwen Zhang, Xiaoqing Yang, Dongxin Wen: Router with centralized buffer for network-on-chip. ACM Great Lakes Symposium on VLSI 2009: 469-474 |
2007 | ||
1 | EE | 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 | Shujun Deng | [1] |
3 | Ling Wang | [2] |
4 | Dongxin Wen | [2] |
5 | Weimin Wu | [1] |
6 | Jianwen Zhang | [2] |
7 | Yanni Zhao | [1] |