百晓学者学者目录

李晓维

中国科学院计算技术研究所计算机体系结构国家重点实验室

精选作品

期刊论文

  1. 李晓维,卢欣欣,彭小华,吕要斌(2026). 聚集信息素和植物挥发物互作对豆大蓟马的行为调控作用. 《浙江农业学报》.
  2. 潘逸明,丁新华,李晓维,李昌会,郭佳怡,吕要斌,李亦松,郭文超(2026). 扶桑绵粉蚧不同虫态的耐寒性及体内生化物质含量变化. 《生物安全学报(中英文)》.
  3. 赵巍岳,吴婧雅,卢文岩,李华伟,李晓维,鄢贵海(2026). Moonlight:基于数据处理器的大模型训练在网检查点结构. 《高技术通讯》.
  4. Jin-Xin Yu, Lei Wang, Mengdi Wang, Hua-Wei Li, Yin-He Han, Xiaowei Li, Hui Li, Kai Zhang, Ying Wang (2026). Chat-Fusion: An efficient batch inference system for cloud LLMs serving. IEEE Transactions on Parallel and Distributed Systems.DOI
  5. Teng-Hui Hua, Jia-Nan Mu, Liang Kong, Bin Sun, Yi Chen, Ge Yu, Jing Ye, Xiaowei Li, Husheng Han, Hua-Wei Li (2026). Fission: A Unified FHE Accelerator Supporting Variable Bit-Widths. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.DOI
  6. Haoxuan Wang, Ying-Hao Yang, Shangjie Pan, Hang Lu, Xiaowei Li (2026). Hypnos: A Hardware--Software Co-Design Framework for Memory-Efficient Homomorphic Processing. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.DOI
  7. Fuping Li, Ding Yuan, Yujie Wang, Juelei Zhou, Xi-Hao Liang, Yin-He Han, Huawei Li, Xiaowei Li, Ying Wang (2026). Chipletizer 2.0: Toward Cost-Effective Chiplet Design via Reuse-Aware Decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.DOI
  8. Yibo Du, Ying Wang, Mengdi Wang, Xiaowei Li, Yin-He Han (2026). Chiplever: A Hardware–Software Co-Design Framework Toward Extension of Chiplet System for Fully Homomorphic Encryption. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.DOI
  9. Gang-Liang Lin, Hao-Nan Zhu, Yuquan He, Mengdi Wang, Yujie Wang, Kai Zhang, Yin-He Han, Cong Shi, Hua-Wei Li, Xiaowei Li, Ying Wang (2026). A Programmable Compute-Near-Memory Architecture for 130 fps Visual Odometry on Embedded Systems. IEEE Transactions on Circuits and Systems Part 1: Regular Papers.DOI
  10. Shangjie Pan, Ying-Hao Yang, Xuanyao Peng, Xiquan Zhao, Dong Du, Hang Lu, Yu-Bin Xia, Xiaowei Li (2026). LayerTEE: Decoupled Memory Protection for Scalable Multilayer Communication on RISC-V. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.DOI
  11. Fuping Li, Ding Yuan, Jixiang Zhu, Xi-Hao Liang, Juelei Zhou, T. Miao, Hui Li, Kai Zhang, Yi Han, Huawei Li, Xiaowei Li, Ying Wang, Yujie Wang (2026). Chiplet Design Automation: Methodologies, Advances, and Directions. ACM Trans. Design Autom. Electr. Syst..DOI
  12. Shixin Zhao, Lian Liu, Xiangwen An, Yutian Zhou, Yintao He, Long Cheng, Mengdi Wang, Xiaowei Li, Yi Han, Ying Wang (2026). HydraPIM: A Heterogeneous PIM Architecture for Efficient Attention in Long-Context LLMs. IEEE transactions on computers.DOI
  13. Jin-Xin Yu, Yudong Pan, Mengdi Wang, Hua-Wei Li, Yi Han, Xiaowei Li, Ying Wang (2026). From Buffers to Registers: Unlocking Fine-Grained FlashAttention with Hybrid-Bonded 3D NPU Co-Design. Design, Automation and Test in Europe.DOI
  14. Mingjun Wang, Hui Wang, Feng Gu, Zi-Zhen Liu, Jia-Nan Mu, Shengwen Liang, Zhongkai Yu, Zheng Liang, Jun Gao, Jia-Ping Tang, J. Ye, Xiaowei Li, Bei Yu, Huawei Li (2026). DomSim: Hardware-Aware Hybrid Fault Simulation With Dominator Tree-Guided Partitioning. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.DOI
  15. 河人华,李冰,杜一博,王颖,李晓维,韩银和(2025). 基于容错学习问题的全同态加密算法和硬件优化综述. 《计算机研究与发展》.
  16. 刘至幸,李光平,王轶辉,朱天宇,黄俊,李晓维,吕要斌,杨玉婷,张治军(2025). 昆明地区西花蓟马田间种群抗药性监测及药剂防治效果评价. 《应用昆虫学报》.
  17. 王伟,张仁福,刘海洋,李晓维,姚举(2025). 新疆棉田花蓟马消长规律及空间分布. 《新疆农业科学》.
  18. 张本杰,王冬梅,李晓维,姚永生,潘洪生(2025). 新疆棉田周边常见杂草上蓟马种类鉴定及其亲缘关系分析. 《新疆农业科学》.
  19. 吴怡瑄,刘至幸,张家辉,潘光凤,东方龙,李晓维,黄俊,吕要斌,饶琼,张治军(2025). 西兰花-小麦间作对田间天敌群落及生态防控作用的影响. 《应用昆虫学报》.
  20. Shangjie Pan, Xuanyao Peng, Zeyuan Man, Xiquan Zhao, Dong-Rong Zhang, Bicheng Yang, Dong Du, Hang Lu, Yu-Bin Xia, Xiaowei Li (2025). Dep-TEE: Decoupled Memory Protection for Secure and Scalable Inter-enclave Communication on RISC-V. Asia and South Pacific Design Automation Conference.DOI
  21. Lian Liu, Jin-Xin Yu, Mengdi Wang, Xiaowei Li, Yin-He Han, Ying Wang (2025). DNA: A General Dynamic Neural Network Accelerator. IEEE transactions on computers.DOI
  22. Jin-Kai Zhang, Ying-Hao Yang, Zhe Zhou, Zhicheng Hu, Xin Zhao, Liang Chang, Hang Lu, Xiaowei Li (2025). Trident: The Acceleration Architecture for High-Performance Private Set Intersection. IEEE transactions on computers.DOI
  23. Xinmiao Zhang, Cheng Liu, Shengwen Liang, Chenwei Xiong, Yu Zhang, Lei Zhang, Hua-Wei Li, Xiaowei Li (2025). Frontier-guided Graph Reordering. ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming.DOI
  24. Jia-Zhe Zhang, Cheng Liu, Long Cheng, Xiaowei Li, Hua-Wei Li (2025). Understanding and Mitigating Errors of LLM-Generated RTL Code. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.DOI
  25. Mingjun Wang, Hui Wang, Zi-Zhen Liu, Feng Gu, Jia-Nan Mu, Jia-Ping Tang, Jun Gao, Huawei Li, J. Ye, Xiaowei Li (2025). ETPG: Efficient Transition Fault Simulation via Dual-Strategy Pattern Parallelism and Gate Restructuring. Asia and South Pacific Design Automation Conference.DOI
  26. Kaiyan Chang, Wenlong Zhu, Kun Wang, Xinyang He, Nan Yang, Zhi-Rong Chen, Dantong Jin, Cangyuan Li, Yun-Hao Zhou, Hao Yan, Zhuoliang Zhao, Yuan Cheng, Mengdi Wang, Shengwen Liang, Yin-He Han, Xiaowei Li, Huawei Li, Ying Wang (2025). A data-centric chip design agent framework for Verilog code generation. ACM Trans. Design Autom. Electr. Syst..DOI
  27. Ying-Hao Yang, Xi-Cheng Xu, Liang Chang, Hang Lu, Xiaowei Li (2025). Athena: Accelerating Quantized Convolutional Neural Networks under Fully Homomorphic Encryption. Micro.DOI
  28. Xinmiao Zhang, Cheng Liu, Shengwen Liang, Hayden Kwok-Hay So, Ying Wang, Lei Zhang, Huawei Li, Xiaowei Li (2025). Taijigraph: an Out-Of-Core Graph Processing System Enhanced with Computational Storage. IEEE International Parallel and Distributed Processing Symposium.DOI
  29. Lian Liu, Shixin Zhao, Bing Li, Hai-Meng Ren, Zhaohui Xu, Mengdi Wang, Xiaowei Li, Yi Han, Ying Wang (2025). Make LLM Inference Affordable to Everyone: Augmenting GPU Memory with NDP-DIMM. International Symposium on High-Performance Computer Architecture.DOI
  30. Qichu Sun, Rui Meng, Haishuang Fan, Fang-Qiang Ding, Li Lu, Jingya Wu, Xiaowei Li, Guihai Yan (2025). APTO: Accelerating Serialization-Based Point Cloud Transformers with Position-Aware Pruning. Asia and South Pacific Design Automation Conference.DOI
  31. Wen Li, Ying Wang, Huawei Li, Xiaowei Li, Kaiwei Zou (2025). Functional Testing and Repair for ReRAM-Based Deep-Learning Accelerators. IEEE design & test.DOI
  32. Haishuang Fan, Rui Meng, Qichu Sun, Jingya Wu, Wenyan Lu, Xiaowei Li, Guihai Yan (2025). GRACE: An End-to-End Graph Processing Accelerator on FPGA With Graph Reordering Engine. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.DOI
  33. 孔浩,卢文岩,陈岩,鄢贵海,李晓维(2024). 基于FPGA的排序加速方法综述. 《计算机研究与发展》.
  34. 张青,刘成,刘波,黄海同,王颖,李华伟,李晓维(2024). 容错深度学习加速器跨层优化. 《计算机研究与发展》.
  35. 李雯,王颖,何银涛,邹凯伟,李华伟,李晓维(2024). SMCA:基于芯粒集成的存算一体加速器扩展框架. 《电子与信息学报》.
  36. 苏红利,黄俊,殷琛,吕要斌,李晓维,章金明,张治军,董婉莹,周书行,张娟(2024). 浙江省带土苗木传带红火蚁风险调查分析. 《环境昆虫学报》.
  37. 易松望,李晓维,陈利民,王金超,黄俊,张娟,吕要斌(2024). 昆虫病原线虫对红火蚁的致病力及田间防控效果. 《环境昆虫学报》.
  38. 张海霞,陈利民,李晓维,王亚如,吕要斌,侯有明(2024). 植食性昆虫利用唾液腺适应寄主植物防御机制研究进展. 《环境昆虫学报》.
  39. 易松望,李晓维,陈利民,周书行,王金超,陈婷婷,吴俊伟,郭文超,任洁,吕要斌(2024). 番茄潜叶蛾求偶与交配节律研究. 《环境昆虫学报》.
  40. 易松望,李晓维,陈利民,王金超,吴俊伟,付开赟,郭文超,吕要斌(2024). 番茄潜叶蛾食物源引诱剂筛选及引诱效果评估. 《昆虫学报》.
  41. Kaiyan Chang, Kun Wang, Nan Yang, Ying Wang, Dantong Jin, Wenlong Zhu, Zhi-Rong Chen, Cangyuan Li, Hao Yan, Yun-Hao Zhou, Zhuoliang Zhao, Yuan Cheng, Yudong Pan, Yi-Qi Liu, Mengdi Wang, Shengwen Liang, Yin-He Han, Huawei Li, Xiaowei Li (2024). Data is all you need: Finetuning LLMs for chip design via an automated design-data augmentation framework. Design Automation Conference.DOI
  42. Liang Chang, Hang Lu, Chenglong Li, Xin Zhao, Zhicheng Hu, Jun Zhou, Xiaowei Li (2024). General Purpose Deep Learning Accelerator Based on Bit Interleaving. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.DOI
  43. Lian Liu, Long Cheng, Hai-Meng Ren, Zhaohui Xu, Yudong Pan, Mengdi Wang, Xiaowei Li, Yin-He Han, Ying Wang (2024). COMET: Towards Practical W4A4KV4 LLMs Serving. International Conference on Architectural Support for Programming Languages and Operating Systems.DOI
  44. Fuping Li, Ying Wang, Mei-Xuan Lu, Yutong Zhu, Hao-Ran Wang, Zhun Zhao, Ju Huang, Xiao-Tong Wei, Xi-Hao Liang, Yujie Wang, Hao-Bo Xu, Huawei Li, Xiaowei Li, Qi Liu, Ming Liu, Ning-Hui Sun, Yin-He Han (2024). The Decomposition and Combination Paradigms of Chiplet-Based Integrated Chips. Integrated Circuits and Systems.DOI
  45. Lian Liu, Ying Wang, Xiandong Zhao, Wei-Wei Chen, Huawei Li, Xiaowei Li, Yin-He Han (2024). An Automatic Neural Network Architecture-and-Quantization Joint Optimization Framework for Efficient Model Inference. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.DOI
  46. Mingkai Chen, Cheng Liu, Shengwen Liang, Lei He, Ying Wang, Lei Zhang, Huawei Li, Xiaowei Li (2024). An Energy-Efficient In-Memory Accelerator for Graph Construction and Updating. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.DOI
  47. Lian Liu, Zhaohui Xu, Yintao He, Ying Wang, Huawei Li, Xiaowei Li, Yin-He Han (2024). Drift: Leveraging Distribution-based Dynamic Precision Quantization for Efficient Deep Neural Network Acceleration. Design Automation Conference.DOI
  48. Jia-Nan Mu, Husheng Han, Shang-Yi Shi, Jing Ye, Zi-Zhen Liu, Shengwen Liang, Meng Li, Ming-Zhe Zhang, Song Bian, Xing Hu, Huawei Li, Xiaowei Li (2024). Alchemist: A Unified Accelerator Architecture for Cross-Scheme Fully Homomorphic Encryption. Design Automation Conference.DOI
  49. Yibo Du, Ying Wang, Bing Li, Fuping Li, Shengwen Liang, Huawei Li, Xiaowei Li, Yin-He Han (2024). Chiplever: Towards Effortless Extension of Chiplet-based System for Fully Homomorphic Encryption. Design Automation Conference.DOI
  50. Hongyan Li, Hang Lu, Xiaowei Li (2024). Mortar-FP8: Morphing the Existing FP32 Infrastructure for High-Performance Deep Learning Acceleration. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.DOI
  51. Yunkun Liao, Jingya Wu, Wenyan Lu, Xiaowei Li, Guihai Yan (2024). PHD: Parallel Huffman Decoder on FPGA for Extreme Performance and Energy Efficiency. Design Automation Conference.DOI
  52. Haishuang Fan, Qichu Sun, Jingya Wu, Wenyan Lu, Xiaowei Li, Guihai Yan (2024). Co-Via: A Video Frame Interpolation Accelerator Exploiting Codec Information Reuse. Design Automation Conference.DOI
  53. Xinmiao Zhang, Cheng Liu, Jiacheng Ni, Yuanqing Cheng, Lei Zhang, Hua-Wei Li, Xiaowei Li (2024). PDG: A Prefetcher for Dynamic Graph Updating. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.DOI
  54. Yintao He, Bing Li, Ying Wang, Cheng Liu, Huawei Li, Xiaowei Li (2024). A Task-Adaptive In-Situ ReRAM Computing for Graph Convolutional Networks. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.DOI
  55. 吴婧雅,卢文岩,鄢贵海,李晓维(2023). HyperTree:高并发B+树索引加速器. 《计算机研究与发展》.
  56. 刘丽华,刘晓彤,黄俊,李宇婕,朱明义,张娟,李晓维,钱诚,董婉莹,张治军,章金明,吕要斌(2023). 一种新型监测诱饵对红火蚁的诱集效果分析. 《浙江农业科学》.
  57. 张莉丽,柳跃泽,刘丽华,黄俊,张娟,李晓维,吕要斌(2023). 一种红火蚁粉剂喷施器械的应用效果分析. 《浙江农业科学》.
  58. 易松望,李晓维,黄俊,张娟,吕要斌(2023). 红火蚁昆虫病原微生物资源及其应用现状. 《浙江农业科学》.
  59. 李晓维,易松望,陈利民,程江辉,周书行,吕要斌(2023). 番茄潜叶蛾行为调控技术研究进展. 《昆虫学报》.
  60. 柳跃泽,黄俊,张娟,李晓维,章金明,张治军,吕要斌(2023). 浙江省不同地理种群红火蚁主要表皮碳氢化合物的差异性分析. 《浙江农业学报》.
  61. 吴婧雅,卢文岩,鄢贵海,李晓维(2023). 基于FPGA的软硬件协同的多表哈希连接加速器. 《高技术通讯》.
  62. 付开赟,李爱梅,丁新华,贾尊尊,吐尔逊·阿合买提,阿尔孜姑丽·肉孜,冯宏祖,李晓维,郭文超(2023). 不同生态因子对暗黑赤眼蜂寄生番茄潜叶蛾卵的影响. 《中国生物防治学报》.
  63. 丁浩毅,黄俊,张娟,李晓维,张大羽,吕要斌(2023). 红火蚁告警信息素2-乙基-3,6-二甲基吡嗪在天然橡胶塞和PVC管载体中的释放规律及田间验证. 《昆虫学报》.
  64. 李佳骏,许浩博,王郁杰,肖航,王颖,韩银和,李晓维(2023). 面向高能效加速器的二值化神经网络设计和训练方法. 《计算机辅助设计与图形学学报》.
  65. Ying-Hao Yang, Hang Lu, Xiaowei Li (2023). Poseidon-NDP: Practical Fully Homomorphic Encryption Accelerator Based on Near Data Processing Architecture. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.DOI
  66. 刘晓彤,黄俊,张娟,李晓维,夏小春,吕要斌(2022). 基于GC-IMS技术的不同红火蚁监测诱饵的风味成分分析. 《环境昆虫学报》.
  67. 柳跃泽,黄俊,张娟,李晓维,章金明,张治军,吕要斌(2022). 红火蚁生物碱的提取分析. 《中华卫生杀虫药械》.DOI
  68. 柳跃泽,张莉丽,黄俊,张娟,许益鹏,李晓维,刘又高,章金明,张治军,吕要斌(2022). 红火蚁蚁巢采集及转移方法. 《浙江农业科学》.
  69. 李晓维,孙冉冉,章金明,张治军,张立猛,吕要斌(2020). 载体中蓟马聚集信息素组分的释放速率测定及其储藏温度筛选. 《植物保护学报》.DOI
  70. 马琳,李晓维,王树明,王田珍,吕要斌(2019). 6种杀虫剂对云南地区番茄潜叶蛾的室内毒力测定. 《中国植物保护学会2019年学术年会》.
  71. 李晓维,章金明,张治军,王丽坤,吕要斌(2019). 蓟马信息素研究及应用进展. 《植物保护学报》.DOI
  72. 董慧,李晓维(2018). 面向集成电路质量技术创新人才培养的探索与实践——计算机体系结构国家重点实验室的实践. 《高教学刊》.
  73. 程云,李华伟,王颖,李晓维(2018). 基于寄存器簇恢复的追踪信号选择方法. 《计算机学报》.
  74. 孙冉冉,李晓维,吕要斌(2017). 西花蓟马昼间交配规律和聚集信息素释放规律研究. 《绿色生态可持续发展与植物保护——中国植物保护学会第十二次全国会员代表大会暨学术年会论文集》.
  75. 董慧,李晓维(2017). 践行科教融合、贯穿产学研的创新人才培养——中国科学院计算技术研究所的实践. 《软件工程》.
  76. 江树浩,鄢贵海,李家军,卢文岩,李晓维(2017). 机器学习算法可近似性的量化评估分析. 《计算机研究与发展》.
  77. 耿双双,李晓维,吕要斌(2016). 聚集信息素在蓟马种间竞争中的作用. 《中国植物保护学会2016年学术年会》.
  78. 周君,李华伟,王天成,李晓维(2016). 面向3维片上网络的轻量级细粒度容错机制. 《计算机研究与发展》.
  79. 周艳红,王天成,李华伟,吕涛,李晓维(2016). 基于路径约束求解的多目标状态激励生成方法. 《计算机学报》.
  80. 李晓维,李华伟,寿国础(2015). 软件-集成电路-网络测试技术. 《信息通信技术》.
  81. 胡杏,潘送军,胡瑜,李晓维(2013). 基于存储级并行的同时多线程电压紧急容错技术. 《计算机学报》.
  82. 刘军,吴玺,韩银和,李晓维(2011). 基于可重构MUXs网络的低功耗测试数据压缩方法. 《电子学报》.
  83. 巴音达拉,韩银和,李晓维(2011). 通过器件共享实现的双向无阻塞光互连片上网络. 《小型微型计算机系统》.
  84. 杨志,吕涛,李华伟,李晓维(2011). 数字集成电路设计错误的静态检测系统. 《第十四届全国容错计算学术会议(CFTC'2011)》.
  85. 王杰,梁华国,李华伟,闵应骅,李晓维(2011). 基于输出违例概率的时延向量测试质量评估. 《电子学报》.
  86. 雷韶华,韩银和,李晓维(2011). 组合逻辑电路中软错误率的频域分析方法. 《计算机研究与发展》.
  87. 李晓维(2010). 数字集成电路设计验证:量化评估、激励生成、形式化验证. 《科学出版社》.
  88. 赵阳,吕涛,李华伟,李晓维(2009). 无界模型检验中融合电路信息的SAT算法研究. 《计算机学报》.
  89. 朱红松,徐勇军,李晓维,孙利民(2009). 传感器网络中基于ARQ的多链路转发模型分析. 《计算机研究与发展》.
  90. 周全,朱红松,徐勇军,罗海勇,李晓维(2009). 动态组簇的协同定位算法. 《计算机研究与发展》.
  91. 张飞飞,刘彤,李华伟,韩银和,李晓维(2008). 用于边缘网络的网络处理器的设计. 《微电子学与计算机》.
  92. 徐朝农,徐勇军,李晓维(2008). 无线传感器网络时间同步新技术. 《计算机研究与发展》.
  93. 徐朝农,赵磊,徐勇军,李晓维(2007). 无线传感器网络时间同步协议的改进策略. 《计算机学报》.
  94. 张旻晋,李华伟,李晓维(2007). 面向串扰时延效应的时序分析方法及在集成电路测试中的应用. 《计算机学报》.
  95. 王伟,韩银和,胡瑜,李晓维,张佑生(2007). 一种有效的低功耗扫描测试结构——PowerCut. 《计算机研究与发展》.
  96. 王伟,李晓维,张佑生,方芳(2006). 静态测试功耗优化技术. 《计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)》.
  97. 王伟,韩银和,李晓维,张佑生(2006). 基于测试向量中不确定位的漏电流优化技术. 《电子学报》.
  98. 杨修涛,鲁巍,李晓维(2006). 集成电路高层故障模型评估方法. 《计算机工程》.
  99. 鲁巍,杨修涛,李晓维(2006). 基于混合遗传算法的RTL激励生成. 《小型微型计算机系统》.
  100. 杨修涛,鲁巍,李华伟,李晓维(2006). 覆盖状态内部分枝的测试向量生成. 《小型微型计算机系统》.
  101. 杨修涛,鲁巍,李晓维(2006). 集成电路高层故障模型间关系分析方法. 《计算机研究与发展》.
  102. 刘彤,李华伟,李晓维,宫曙光(2006). 一种基于子元组划分的快速两维包分类算法. 《计算机研究与发展》.
  103. 董婕,胡瑜,韩银和,李晓维(2006). 基于组合解压缩电路的多扫描链测试方法. 《计算机研究与发展》.
  104. 徐勇军,陈静华,骆祖莹,李晓维(2006). CMOS电路动静态功耗协同分析. 《计算机工程》.
  105. 邵明,李光辉,李晓维(2005). 求解可满足问题的调查传播算法以及步长的影响规律. 《计算机学报》.
  106. 胡瑜,韩银和,李晓维(2005). SOC可测试性设计与测试技术. 《计算机研究与发展》.
  107. 韩银和,李晓维,李华伟(2005). 适用于扫描测试中的测试响应压缩电路设计. 《计算机研究与发展》.
  108. 吴明行,韩银和,李晓维(2005). 基于CTL的SOC IP核的测试技术. 《计算机工程与科学》.
  109. 檀彦卓,徐勇军,韩银和,李华伟,李晓维(2005). 面向存储器核的内建自测试. 《计算机工程与科学》.
  110. 徐勇军,韩银和,骆祖莹,李晓维(2004). 基于遗传算法的最大开启电流估计. 《计算机学报》.
  111. 李光辉,李晓维(2004). 基于增量可满足性的等价性检验方法. 《计算机学报》.
  112. 陈治国,徐勇军,李晓维(2004). 一种基于概率分析的扫描链动态功耗模型. 《微电子学与计算机》.
  113. 李光辉,邵明,李晓维(2004). 验证包含黑盒的电路设计的有效方法. 《计算机学报》.
  114. 李光辉,邵明,李晓维(2004). 一个适于形式验证的ATPG引擎. 《计算机研究与发展》.
  115. 徐勇军,陈治国,骆祖莹,李晓维(2004). 深亚微米CMOS电路漏电流快速模拟器. 《计算机研究与发展》.
  116. 骆祖莹,李晓维,洪先龙(2003). 测试向量中未确定位对测试功耗优化的影响. 《微电子学与计算机》.
  117. 韩银和,李晓维,徐勇军,蒋敬旗(2003). SOC测试数据的编码压缩技术. 《微电子学与计算机》.
  118. 吕涛,李晓维,樊建平(2003). 模拟验证中的覆盖评估准则. 《微电子学与计算机》.
  119. 何蓉晖,李晓维,宫云战(2003). 一种低功耗BIST测试产生器方案. 《微电子学与计算机》.
  120. 徐勇军,骆祖莹,李晓维(2003). 冒险共振现象及其在CMOS电路最大功耗估计中的应用. 《微电子学与计算机》.
  121. 尹志刚,李华伟,李晓维(2003). 一种遵循IEEE 1149.1标准的可测试性设计结构. 《微电子学与计算机》.
  122. 张月,李华伟,宫云战,李晓维(2003). 考虑串扰影响的时延测试. 《微电子学与计算机》.DOI
  123. 李光辉,邵明,李晓维(2003). 基于BDD的组合电路等价性检验方法. 《微电子学与计算机》.DOI

此主页由公开资料整理,尚未经学者本人认领。