8月15日-17日，由 中國計算機學(xué)會（CCF）主辦、CCF容錯計算專業(yè)委員會和哈爾濱工業(yè)大學(xué) 共同承辦的第十屆中國測試學(xué)術(shù)會議（CTC 2018）在哈爾濱召開。本次會議與國際會議 International Test Conference in Asia 2018 (ITC-Asia)、International Workshop on Cross-layer Resiliency 2018 (IWCR) 聯(lián)合舉辦。會議邀請了30多位 IEEE/ACM/CCF Fellow 等頂級專家以及企業(yè)代表攜手 11 場大會特邀報告，7 個高端產(chǎn)業(yè)論壇，50 多場論壇特邀報告， 60 多場學(xué)術(shù)論壇報告，參會人數(shù)超過 500 人，是本年度國內(nèi)測試、容錯、可信度領(lǐng)域規(guī)模 最大、規(guī)格最高、影響最廣的一次學(xué)術(shù)界盛會。

會議開幕式由容錯計算專委秘書長韓銀和主持，容錯計算專委主任李華偉致歡迎詞，中 國計量測試學(xué)會秘書長馬愛文、IEEE TTTC Chair Chen-huan Chiang、ACM SigDA 主席 Sharon HU、 CTC2018 主席楊孝宗和李曉維致開幕詞，程序會議主席董劍介紹本次會議概況。

大咖云集，匯聚一堂

本次大會的演講嘉賓匯聚了 30 多位來自世界各地的學(xué)術(shù)界和業(yè)界頂級專家以及全國專 業(yè)人士，共同探討測試、容錯、可信度等領(lǐng)域的最新研究進展和發(fā)展趨勢，一起推動集成電 路設(shè)計測試技術(shù)的發(fā)展。

主題報告，無人駕駛、人工智能等新型系統(tǒng)可靠性問題成為熱點

15號上午的四位特邀講者分別做了精彩的學(xué)術(shù)報告。演講主題涵蓋人工智能算法 的硬件加速、集成電路設(shè)計安全、關(guān)鍵軟件設(shè)計與錯誤定位、無人電動汽車等熱門話題，切中當前國家布局集成電路領(lǐng)域的核心問題和關(guān)鍵技術(shù)。

美國圣母大學(xué)的 X. Sharon Hu 教授做了題為“A Cross-Layer Perspective for Energy Efficient Processing—from Beyond-CMOS Devices to Deep Learning”  的主題報告。胡教授從跨層設(shè)計的 角度，介紹了采用新型器件在非馮諾依曼體系結(jié)構(gòu)的應(yīng)用。尤其通過探究新型器件獨有的行 為特征，輔以新電路，新結(jié)構(gòu)來提升功耗和性能，最終透過對應(yīng)用程序的評測可以體現(xiàn)跨層 設(shè)計的綜合收益。

Synopsys 公司亞美尼亞區(qū)總裁 Yervant Zorian 博士做了題為“Automotive Electronics Today: Quality, Safety & Security”的主旨報告。自動駕駛技術(shù)正在飛速發(fā)展，其中最重要的是保證駕

駛安全。Yervant  提到，“人類會犯錯，機器也會犯錯，但我們要保證機器比人犯更少的錯”， Synopsys 公司提供了自動駕駛領(lǐng)域一站式解決方案，包括芯片 IP，EDA 工具和系統(tǒng)設(shè)計，以 及芯片和嵌入式系統(tǒng)級測試，支持離線測試和在線測試。測試在自動駕駛是安全保證中最重 要的一環(huán)，我國在該領(lǐng)域還期待更長足的發(fā)展和創(chuàng)新。

美國德州大學(xué)達拉斯分校的 W. Eric Wong 教授做了題為“Automotive Electronics Today: Quality, Safety & Security”的主旨報告。針對當前復(fù)雜軟件系統(tǒng)的多缺陷問題，W. Eric Wong 教 授在演講中介紹了基于類聚方法的缺陷定位技術(shù)。該項技術(shù)通過解決失敗測試用例距離定 義、類聚集合數(shù)量確定和類聚算法選擇這三方面問題，極大地提高軟件缺陷定位的準確性和 效率。軟件系統(tǒng)安全是網(wǎng)絡(luò)空間安全戰(zhàn)略發(fā)展中尤為重要的方面，該報告從多個維度指出了 當前軟件系統(tǒng)安全加固的關(guān)鍵環(huán)節(jié)。

韓國科學(xué)與技術(shù)高等研究院 KAIST 的 Naehyuck Chang 教授做了題為“Design Automation of Low-power Battery Electric Vehicles”的主旨報告。能效問題一直是電動汽車設(shè)計中最富挑戰(zhàn) 的議題之一，Naehyuck Chang 教授在報告中介紹了一個他們開發(fā)的瞬時功耗模型，該模型充 分考慮了電動汽車重量、速度、加速度、道路斜率等綜合因素以保證其高可信度。報告中還

介紹了一種在設(shè)計階段的快速綜合方法，可大幅提升電動汽車動力系統(tǒng)的能效。

今年CTC會議呈現(xiàn)出和過去不一樣的特點，從中也可以看出行業(yè)發(fā)展的熱點。第一，電動汽車電子系統(tǒng)，無論是測試、可靠性還是設(shè)計自動化，成為大家高度關(guān)注的對象，而不僅僅只關(guān)注集成電路或軟件。今年會議的四個大會報告，有2個介紹了在無人駕駛、電動汽車可靠性以及信息安全、設(shè)計自動化方面的工作。這主要因為最近幾年，無人駕駛方向無論是學(xué)術(shù)界還是企業(yè)界參與度都非常高，而無人駕駛的可靠性和信息安全至關(guān)重要，做得不好就是車毀人亡。前一段時間的特斯拉無人駕駛造成了第一宗自動駕駛系統(tǒng)致人死亡的車禍，其主要原因就是在特別自然條件下，無人駕駛系統(tǒng)未能對突發(fā)情況做出及時的判斷，從而導(dǎo)致事故。第二，人工智能技術(shù)在測試和EDA領(lǐng)域應(yīng)用逐步增多?；谌斯ぶ悄艿淖詣踊瘻y試技術(shù)，基于人工智能的敏捷EDA技術(shù)成為大家關(guān)注的熱點。今年大會安排的集成電路領(lǐng)域頂級會議ICCAD的預(yù)講，很多論文都討論了這方面的技術(shù)，這是一個風(fēng)向標。在ITC-Asia安排的“人工智能和測試”的panel上，大家的討論也非常熱烈，芯片測試數(shù)據(jù)的如何得到，機器學(xué)習(xí)模型如何選擇等都是大家討論的熱點。

論壇討論，精彩紛呈

除了重磅的主題演講外，第一天和第二天的七個前沿技術(shù)專業(yè)論壇和 ICCAD 論文預(yù)講大會同樣精 彩。針對集成電路、軟件、汽車電子系統(tǒng)等可靠可信領(lǐng)域關(guān)鍵問題和最新研究進展，論壇邀 請了 50 多名學(xué)術(shù)和產(chǎn)業(yè)專家到會報告。

開源硬件和智能芯片論壇 ：邀請了領(lǐng)域著名學(xué)者，像中科院計算所的包云崗研究員、清華大學(xué)的汪玉教授、北京知存科技的王紹迪博士等一起研討。大家一個相同的看法就是，正如軟件開源帶來的互聯(lián)網(wǎng)計算基礎(chǔ)設(shè)施的低成本化和快速迭代，推動了中國互聯(lián)網(wǎng)產(chǎn)業(yè)的跨越式發(fā)展，開源芯片也將是一個趨勢，而且是我們國家發(fā)展芯片產(chǎn)業(yè)的一個重要機遇，應(yīng)該及時跟進，并為開源芯片社區(qū)建設(shè)作出根基性貢獻。

安全關(guān)鍵軟件測試技術(shù)論壇: 本次論壇聚焦安全關(guān)鍵軟件測試技術(shù)，圍繞如何有效開展代碼安全測試和自動測試兩大焦點，邀請了14位領(lǐng)域?qū)＜疫M行了專題報告。會議吸引了來自全國50余家測評機構(gòu)上百位參會代表！中電28所和廣五所等范單位分享了最新的安全關(guān)鍵軟件測試架構(gòu)，這為建立領(lǐng)域通用測試平臺提供了可行方案！北航和陸工大等高校單位分享了該領(lǐng)域可落地的測試與評估新技術(shù)！旋極科技、創(chuàng)景科技、迪真科技等單位技術(shù)總監(jiān)分享了高效的測試平臺。

通過本次論壇，在安全關(guān)鍵軟件代碼國產(chǎn)化自主測試技術(shù)，測試用例生成技術(shù)落地，大型軟件測試平臺建設(shè)等多個方面形成了共識！第一，在安全關(guān)鍵軟件代碼靜態(tài)測試方面，肯定了國產(chǎn)化自主測試平臺的技術(shù)先進性，確定了多個自主測試平臺的適用環(huán)境！這為各家測評中心選用該類測評工具提供了依據(jù)！第二，在測試用例生成技術(shù)落地方面，確定了以需求為依據(jù)的用例生成策略，摒棄了傳統(tǒng)以代碼覆蓋為依據(jù)的生成策略！該結(jié)論為后續(xù)測試用例生成工具的設(shè)計和采購提供了技術(shù)依據(jù)！第三，在面向大型系統(tǒng)測試平臺建設(shè)方面，提出了基于私有云的架構(gòu)，在測試資源自動分配，測試用例自動生成和執(zhí)行，測試結(jié)果的智能評估等方面提供全面支持！！

會議還組織了集成電路領(lǐng)域頂級會議ICCAD的預(yù)講，從最近幾年ICCAD接受的論文來看，人工智能技術(shù)已經(jīng)在EDA領(lǐng)域有了越來越廣泛的應(yīng)用，對進一步提升設(shè)計的自動化能力提供了有力的技術(shù)手段。EDA領(lǐng)域獲獎?wù)搲?，聚焦最近最近幾年學(xué)者在國際EDA領(lǐng)域頂級會議和競賽上取得的一些喜人突破，獲獎?wù)叻窒砹怂麄兊慕?jīng)驗。   

首屆CCF集成電路Early Career Award（獎）揭曉，福州大學(xué)陳建利副教授獲此殊榮

中國計算機學(xué)會 CCF 集成電路 Early Career Award 針對工作不超過 6 年的青年學(xué)者設(shè)立， 為從事集成電路方向的青年學(xué)者早期職業(yè)生涯提供支持。這是中國計算機學(xué)會體系內(nèi)唯一的 一個集成電路專業(yè)獎項，今年啟動第一屆評選。

在開幕式的最后一個重磅環(huán)節(jié)，評獎委員會主席汪玉教授宣布首屆 CCF 集成電路 Early Career Award 授予福州大學(xué)的陳建利博士，以表彰陳建利博士在超大規(guī)模集成電路電子設(shè)計 自動化領(lǐng)域所做的貢獻。

陳建利博士一直專注于超大規(guī)模集成電路布局問題的研究。通過 10 年來不斷的累積以 及版本改進，陳建利博士設(shè)計可高效處理元件規(guī)模達到千萬級的布局工具，成果斐然。2017 年，陳建利博士的第一作者論文獲得 EDA 領(lǐng)域旗艦會議第 54 屆電子設(shè)計自動化會議 DAC2017 最佳論文獎，該獎項為 DAC 會議有史以來中國大陸高校首次以第一單位獲獎。

2017 年 11 月，陳建利博士及其團隊以巨大優(yōu)勢獲得第 36 屆國際集成電路計算機輔助 設(shè)計會議 ICCAD 所舉行的學(xué)術(shù)競賽（歷時 9 個月）全球第一名，為該賽事有史以來中國大陸 首次獲得冠軍。此外，2018 年陳建利博士的五篇論文被第 37 屆 ICCAD 錄用，其中一篇論文 獲得布局/版圖規(guī)劃領(lǐng)域最佳論文獎。

摩爾精英創(chuàng)始人兼CEO張競揚為陳建利博士頒發(fā)了本屆CCF 集成電路 Early Career Award并表示，人才是半導(dǎo)體產(chǎn)業(yè)發(fā)展的引擎，中國集成電路產(chǎn)業(yè)起步晚、發(fā)展快，目前國內(nèi)相關(guān)從業(yè)人員缺口高達40萬，半導(dǎo)體產(chǎn)業(yè)能否持續(xù)吸引像陳建利教授一樣的優(yōu)秀年輕人加入至關(guān)重要。吸引年輕人靠什么？情懷，責(zé)任，也需要收益，而摩爾精英通過整合半導(dǎo)體專業(yè)服務(wù)，加速芯片公司發(fā)展，讓芯片企業(yè)特別是初創(chuàng)公司用1/3的錢，1/3的人，1/3的時間，完成同樣的芯片設(shè)計。

臺灣大學(xué)電機資訊學(xué)院院長張耀文教授評價陳建利博士為 EDA 領(lǐng)域國際上耀眼的青年 學(xué)者，他的研究成果對集成電路及相關(guān)領(lǐng)域的發(fā)展將產(chǎn)生深刻的影響。陳建利博士的獲獎?wù)?是對集成電路設(shè)計領(lǐng)域踏實耕耘、勇于創(chuàng)新的研究者們莫大的肯定和激勵！相信未來會有更 多青年不忘初心、牢記使命，積極投身于我國集成電路領(lǐng)域的發(fā)展偉業(yè)。