1. 李华伟、李晓维,Selection of Crosstalk-induced Faults in Enhanced Delay Test, Journal of Electronic Testing –Theory and Application,2005, 21 (3), pp.181-195
2. 韩银和、胡瑜、李晓维、李华伟等, Wrapper Scan Chains Design for Rapid and Low Power Testing of Embedded Cores, IEICE Transactions on Information and Systems,2005, Vol.E88-D, No.9, pp.2126-2135
3. **宫曙光、李华伟、李晓维,An Innovative Free Memory Design for Network Processors in Home Network Gateway,IEEE Transactions on Consumer Electronics,2005, Vol.51, No.4, pp.1182-1187
4. 李晓维、李光辉、邵明,Formal Verification Techniques Based on Boolean Satisfiability Problem, Journal of Computer Sciences and Technology, 2005, 20(1), pp.38-47
5. 鲁巍、杨修涛、吕涛、李晓维, An Efficient Evaluation and Vector Generation Method for Observability-Enhanced Statement Coverage, Journal of Computer Sciences and Technology, 2005, Vol.20, No.6, pp.875-884
研究成果