本刊記者 樊玉靜
來(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ā)彩。