本刊記者 樊玉靜

來(lái)自女計(jì)算機(jī)科學(xué)家的光彩
——記中科院計(jì)算技術(shù)研究所李華偉研究員

本刊記者 樊玉靜

專(zhuān)家簡(jiǎn)介：

李華偉，1974年6月出生，工學(xué)博士，研究員，博士生導(dǎo)師，中國(guó)計(jì)算機(jī)學(xué)會(huì)容錯(cuò)計(jì)算專(zhuān)業(yè)委員會(huì)秘書(shū)長(zhǎng)，計(jì)算機(jī)體系結(jié)構(gòu)國(guó)家重點(diǎn)實(shí)驗(yàn)室VLSI測(cè)試與設(shè)計(jì)驗(yàn)證組組長(zhǎng)，《計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào)》編委。近年來(lái)承擔(dān)了國(guó)家自然科學(xué)基金、國(guó)家973和863等多個(gè)研究項(xiàng)目、龍芯CPU設(shè)計(jì)驗(yàn)證與測(cè)試等工程項(xiàng)目。在IEEE Trans.on VLSI，J. Electron. Test.，《計(jì)算機(jī)學(xué)報(bào)》等國(guó)內(nèi)外刊物和IEEE ITC,VTS, DATE等著名國(guó)際學(xué)術(shù)會(huì)議上發(fā)表論文100余篇（其中SCI收錄17篇，EI收錄70篇以上），授權(quán)發(fā)明專(zhuān)利10項(xiàng)；軟件（著作權(quán)）登記10件。近十年來(lái)先后獲得中科院杰出科技成就獎(jiǎng)、中科院盧嘉錫青年人才獎(jiǎng)、北京市科學(xué)技術(shù)獎(jiǎng)等榮譽(yù)。

廣告界，有一個(gè)世界著名品牌的廣告語(yǔ)是：“光彩，來(lái)自女性”。在計(jì)算機(jī)界，劍橋大學(xué)計(jì)算機(jī)女科學(xué)家K a r e n Sparck Jones的名言是：“計(jì)算機(jī)是如此重要，因此不能把它只留給男人去做！”

計(jì)算機(jī)世界如此多嬌，引無(wú)數(shù)女英雄競(jìng)折腰。中科院計(jì)算技術(shù)研究所李華偉研究員就是其中一位。多年從事集成電路設(shè)計(jì)與測(cè)試的CAD方法研究的她，通過(guò)在時(shí)延測(cè)試、可測(cè)試性設(shè)計(jì)、可靠性設(shè)計(jì)等方面提出的一系列創(chuàng)新方法，讓我們領(lǐng)略到了一位女計(jì)算機(jī)科學(xué)家的光彩。

李華偉研究員1996年在湘潭大學(xué)計(jì)算機(jī)科學(xué)系獲學(xué)士學(xué)位。1999年和2001年在中國(guó)科學(xué)院計(jì)算技術(shù)研究所分別獲碩士學(xué)位和博士學(xué)位。2001年獲中國(guó)科學(xué)院院長(zhǎng)獎(jiǎng)學(xué)金特別獎(jiǎng)和“微軟學(xué)者”稱(chēng)號(hào)。2009年8月-2010年8月，在美國(guó)加州大學(xué)圣巴巴拉分校擔(dān)任訪(fǎng)問(wèn)學(xué)者。

2006年以來(lái)，李華偉研究員主持完成了2個(gè)國(guó)家自然科學(xué)基金項(xiàng)目、1個(gè)973課題、1個(gè)863課題。這些課題產(chǎn)生的代表性研究成果有：1）精確串?dāng)_源通路時(shí)延故障模型及其測(cè)試生成方法；2）容忍串?dāng)_的高可靠片上網(wǎng)絡(luò)路由器系統(tǒng)；3）考慮工藝偏差的關(guān)鍵通路選擇和小時(shí)延缺陷測(cè)試方法；4）用于檢測(cè)和調(diào)試時(shí)延故障的可測(cè)性設(shè)計(jì)和超速測(cè)試方法等。

其中，“精確串?dāng)_源通路時(shí)延故障模型及其測(cè)試生成方法”這一項(xiàng)目所產(chǎn)生的創(chuàng)新性成果最為業(yè)界所矚目。該成果可廣泛應(yīng)用于高性能芯片的定時(shí)分析和時(shí)延測(cè)試中，有效排除虛假串?dāng)_噪聲，提高電路的設(shè)計(jì)性能，更準(zhǔn)確地確定電路能夠工作的最大頻率。

李華偉表示，串?dāng)_已成為在超深亞微米和納米工藝下造成電路功能錯(cuò)誤的一個(gè)主要的來(lái)源。李華偉及其合作者著重研究了串?dāng)_引起的時(shí)延改變對(duì)電路性能的影響，這種時(shí)延改變可以用時(shí)延測(cè)試方法進(jìn)行檢測(cè)。李華偉等人針對(duì)串?dāng)_測(cè)試的主要?jiǎng)?chuàng)新包括：1）提出精確串?dāng)_源通路時(shí)延故障模型，統(tǒng)一了多串?dāng)_源時(shí)延故障的時(shí)序和邏輯約束，使得對(duì)電路時(shí)延分配的考慮只需在故障收集階段，而不需在測(cè)試生成階段，從而相對(duì)國(guó)際上其他方法提高了對(duì)線(xiàn)間串?dāng)_引起的時(shí)延故障的測(cè)試生成效率。2）提出基于跳變圖的尋找串?dāng)_故障的高效搜索算法，能夠有效識(shí)別國(guó)際上基于時(shí)間窗的傳統(tǒng)靜態(tài)定時(shí)分析方法所找到的虛假串?dāng)_源。3）分別提出了基于結(jié)構(gòu)ATPG和基于可滿(mǎn)足問(wèn)題的測(cè)試生成算法，盡可能激發(fā)更多的串?dāng)_效應(yīng)以測(cè)試電路的最差性能，獲得高質(zhì)量的時(shí)延測(cè)試向量?；谏鲜鲅芯块_(kāi)發(fā)了通用的測(cè)試生成系統(tǒng)，能夠?qū)崿F(xiàn)電路的靜態(tài)時(shí)序分析、靜態(tài)串?dāng)_噪聲分析和考慮串?dāng)_的通路時(shí)延測(cè)試生成。

“良馬不念秣，壯士不茍營(yíng)。”李華偉，就像一頭在計(jì)算機(jī)世界里不知疲倦的“拓荒?！?，在她眼前，是一片又一片綠洲在延伸，她一定會(huì)在那里繼續(xù)發(fā)光發(fā)彩。