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

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

大咖云集,，匯聚一堂

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

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

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

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

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

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

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

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

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

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

論壇討論，精彩紛呈

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

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

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

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

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

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

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

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

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

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

摩爾精英創(chuàng)始人兼CEO張競(jìng)揚(yáng)為陳建利博士頒發(fā)了本屆CCF 集成電路 Early Career Award并表示，人才是半導(dǎo)體產(chǎn)業(yè)發(fā)展的引擎,，中國集成電路產(chǎn)業(yè)起步晚、發(fā)展快,，目前國內(nèi)相關(guān)從業(yè)人員缺口高達(dá)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í)間，完成同樣的芯片設(shè)計(jì),。

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