科研人员
姓名李晓维
性别男
职称研究员
个人主页http://www.carch.ac.cn/~lxw
个人介绍
简历:
李晓维，男，博士、研究员、博士生导师；1964年9月出生于安徽省肥西县；现任计算机体系结构国家重点实验室常务副主任、中科院计算所学位评定委员会副主席。李晓维研究员于1985和1988年分别获得合肥工业大学计算机系学士和硕士学位；1991年获中科院计算所博士学位。1993年任北京大学计算机系副教授；2000年任中科院计算所研究员；是国务院政府特殊津贴专家。
近年来主要研究领域为VLSI测试、容错计算。先后主持国家自然科学基金重点项目2项、973课题2项、863项目2项、北京市科技重点项目1项、XX预研项目1项；合作出版专著4本；在包括ISCA/HPCA/DSN/DAC/ICCAD等IEEE国际学术会议、IEEE/ACMTransactions等国际学术刊物、中国科学/JCST等国内学术刊物上合作发表学术论文150余篇；授权发明专利30余件、软件著作权登记30余项。先后获得中国科学院自然科学奖（1992年度）、杰出科技成就奖（团队/2003年度）、教学成果奖（2008年度）；获得中国计算机学会王选奖（2008年度）、中国质量学会质量技术奖（2011年度）；北京市科学技术奖（2007年度和2008年度）。
现任中国计算机学会常务理事、容错计算专业委员会主任；JournalofComputerScienceandTechnology(JCST)副主编；JournalofElectronicTesting:TheoryandApplications(JETTA)和JournalofLowPowerElectronics(JOLPE)编委；IEEEAsiaandPacificRegionalTTTCVice-Chair；IEEEATSSteeringCommitteeChair；担任IEEEVTS/DATE/PRDC/ASP-DAC等国际学术会议程序委员会委员。


研究方向:
数字VLSI电路测试及可靠性设计;容错计算
社会任职:


获奖及荣誉:

代表论著:
[1]李晓维,吕涛,李华伟,李光辉著《数字集成电路设计验证——量化评估,激励生成,形式化验证》,科学出版社,2010年5月,518千字,411页
[2]李晓维,韩银和,胡瑜,李佳著《数字集成电路测试优化——测试压缩,测试功耗优化,测试调度》,科学出版社,2010年6月,433千字,344页
[3]李晓维,胡瑜,张磊,鄢贵海著《数字集成电路容错设计——容缺陷/故障,容参数偏差,容软错误》,科学出版社,2011年4月,546千字,433页
[4]XiangFu,HuaweiLi,XiaoweiLi,“TestablePathSelectionandGroupingforFasterThanAt-SpeedTesting”,IEEETransactionsonVLSISystems,Vol.11,No.02,February2012,pp.236-247
[5]GuihaiYan,YingminLi,YinheHan,XiaoweiLi,XiaoyaoLiang,“SAAS+RAAS:aHybridApplicationSchedulingSchemeusingMixedVoltageRegulatorsforDVFSinaMulticoreArchitecture”,IEEETheHigh-PerformanceComputerArchitectureSymposium(HPCA-18),February25-29,2012,NewOrleans,Louisiana,USA
[6]MinjinZhang,HuaweiLi,XiaoweiLi,“PathDelayTestGenerationTowardActivationofWorstCaseCouplingEffects”,IEEETransactionsonVLSISystems,Vol.10,No.11,November2011,pp.1969-1982
[7]YingZhang,HuaweiLi,YinhuaMin,XiaoweiLi,“SelectedTransitionTimeAdjustmentforToleratingCrosstalkEffectsonNetwork-on-ChipInterconnects”,IEEETransactionsonVLSISystems,Vol.10,No.10,October2011,pp.1787-1800
[8]GuihaiYan,YinheHan,XiaoweiLi,“SVFD:AVersatileOnlineFaultDetectionSchemeviaCheckingofStabilityViolation”,IEEETransactionsonVLSISystems,Vol.19,No.9,September2011,pp.1627-1640
[9]GuihaiYan,YinheHan,XiaoweiLi,“ReviveNet:ASelf-adaptiveArchitectureforImprovingLifetimeReliabilityviaLocalizedTimingAdaptation”,IEEETransactionsonComputers,Volume60,Issue9,September2011,pp.1219-1232
[10]DongruiFan,XiaoweiLi,GuojieLi,“NewMethodologiesforParallelArchitecture”,JournalofComputerScienceandTechnology,26(4):578-584,July2011
[11]GuihaiYan,YinheHan,HuiLiu,XiaoyaoLiang,XiaoweiLi,“Microfix:Usingtiminginterpolationanddelaysensorsforpowerreduction”,ACMTransactionsonDesignAutomationofElectronicSystems,March2011,Vol.16,No.2,Article16:1-21
[12]ZhulinAn,HongsongZhu,ChaonongXu,YongjunXu,XiaoweiLi,“SynchronizationofLinearPulse-coupledOscillatorswithDifferentFrequency”,IEEETransactionsonIndustryElectronics,Vol.58,No.6,June2011,pp.2205-2215
[13]YuYang,YongjunXu,XiaoweiLi,“ALossInferenceAlgorithmforWirelessSensorNetworkstoImproveDataReliabilityofDigitalEcosystems”,IEEETransactionsonIndustryElectronics,Vol.58,No.6,June2011,pp.2126-2137
[14]BinzhangFu,YinheHan,HuaweiLi,XiaoweiLi,“AnAbacusTurnModelforTime/Space-EfficientReconfigurableRouting”,Proc.ofIEEE38thInternationalSymposiumonComputerArchitecture(ISCA),SanJose,USA,June4-8,2011,pp.259-270
[15]JiaLi,QiangXu,YuHu,andXiaoweiLi,“X-FillingforSimultaneousShift-andCapture-PowerReductioninAt-SpeedScan-BasedTesting”,IEEETransactionsonVLSISystems,Vol.18,No.7,July.2010,pp.1081-1092
[16]GuihaiYan,XiaoyaoLiang,YinheHan,XiaoweiLi,“LeveragingtheCore-LevelComplementaryEffectsofPVTVariationstoReduceTimingEmergenciesinMulti-CoreProcessors”,Proc.ofIEEE37thInternationalSymposiumonComputerArchitecture(ISCA),Saint-Malo,France,June19-23,2010,pp.485-496
[17]LeiZhang,YinheHan,QiangXu,XiaoweiLi,HuaweiLi,“OnTopologyReconfigurationforDefect-TolerantNoC-BasedHomogeneousManycoreSystems”,IEEETransactionsonVLSISystems,Vol.17,No.9,Sept.2009,pp.1173-1186
[18]YinheHan,YuHu,XiaoweiLi,AnshumanChandra,HuaweiLi,“EmbeddedTestDecompressortoReducetheRequiredChannelsandVectorMemoryofTesterforSystem-on-a-Chip”,IEEETransactionsonVLSISystems,Vol.15,No.5,May2007,pp.531-540
[19]YinheHan,XiaoweiLi,HuaweiLi,AnshumanChandra,“EmbeddedTestResourceforSoCtoReduceRequiredTesterChannelsBasedonAdvancedConvolutionalCodes”,IEEETransactionsonInstrumentationandMeasurement,Vol.55,No.2,April,2006,pp.389-399
[20]XiaoweiLi,MingShao,GuanghuiLi,“FormalVerificationTechniquesBasedonBooleanSatisfiabilityProblem”,JournalofComputerScienceandTechnology,Vol.20,No.1,2005,pp.38-47



承担科研项目情况:
主持的部分项目：
[1]973课题“大规模高通量计算系统的可靠性设计”(2011CB302503)；
[2]973课题“高性能处理芯片的可靠性设计”(2005CB321604)；
[3]NSFC重点项目“数字VLSI电路测试技术研究”(60633060)；
[4]NSFC重点项目“从行为级到版图级的设计验证与测试生成”(60207002)；
[5]NSFC项目“微处理器自修复设计基础技术研究”(90707004)；
[6]NSFC与RGC联合资助项目“片上系统测试架构设计与优化：针对噪声引起的测试良产率下降的研究”(60831160526)；
[7]863项目“大规模高可靠片上多处理器的系统结构及实现方法”(2007AA01Z113)；
[8]863项目“软硬件协同的低功耗系统设计”(2001AA111070)；
[9]北京市科技重点课题“IC设计验证/测试关键技术研发与实用”(H020120140130)；
[10]XX预研项目“软件可靠性测试基础技术”(41315050102)；

学科类别:
计算机系统结构

所属部门:
计算机体系结构国家重点实验室
专家类别:
正高

杰青入选时间:

百人入选时间:



其他备注:
博导计算机系统结构
其他备注2:

其他备注3: