編者按：劉明業(yè)教授是北京理工大學(xué)計(jì)算機(jī)輔助設(shè)計(jì)學(xué)科的創(chuàng)始人，也是最早參與我國(guó)計(jì)算機(jī)輔助設(shè)計(jì)人才培養(yǎng)和科研工作的重要人物之一。為了讓更多人了解劉明業(yè)教授在該領(lǐng)域的經(jīng)歷，慈林林、王志英兩位教授特別撰文，并沿著學(xué)科發(fā)展的脈絡(luò)，為我們講述劉明業(yè)教授在計(jì)算機(jī)輔助設(shè)計(jì)方面所作出的貢獻(xiàn)。
　　
　　鑒于我國(guó)集成電路90%依賴進(jìn)口的狀況，2006年，國(guó)務(wù)院發(fā)布《國(guó)家中長(zhǎng)期科學(xué)與技術(shù)發(fā)展規(guī)劃綱要(2006-2020年)》，將核心電子器件、高端通用芯片及基礎(chǔ)軟件產(chǎn)品(簡(jiǎn)稱“核高基”)確定為國(guó)家科技重大專項(xiàng)。其指導(dǎo)戰(zhàn)略是在上述領(lǐng)域掌握核心技術(shù)、實(shí)現(xiàn)自主可控并實(shí)現(xiàn)產(chǎn)業(yè)化。然而，在實(shí)施這一戰(zhàn)略任務(wù)時(shí)，舉國(guó)上下面臨的最突出問(wèn)題就是缺乏人才，尤其是計(jì)算機(jī)/集成電路設(shè)計(jì)方面的人才。但與此同時(shí)，人們又驚喜地發(fā)現(xiàn)該領(lǐng)域第一線很多“干將”都是由北京理工大學(xué)計(jì)算機(jī)學(xué)科劉明業(yè)老師團(tuán)隊(duì)培養(yǎng)出來(lái)的人。他們?cè)凇爸袊?guó)芯”集成電路設(shè)計(jì)、在國(guó)家“863”重大科研攻關(guān)中都發(fā)揮著重要作用。
　　“十年樹(shù)木，百年樹(shù)人”。追根溯源，我們可以看到，在改革開(kāi)放后，劉明業(yè)老師慧眼識(shí)途，極其敏銳地抓住機(jī)遇、抓住方向，在十分困難的情況下，從零開(kāi)始，帶領(lǐng)團(tuán)隊(duì)一步步艱苦創(chuàng)業(yè)，一步步成長(zhǎng)壯大，從教材編寫到科研立項(xiàng)，從人才培養(yǎng)到實(shí)驗(yàn)室建設(shè)，從碩士點(diǎn)到博士點(diǎn)，30多年的辛勞最終凝聚成累累碩果。
　　劉明業(yè)的童年常常伴著牛背上的睡夢(mèng)，然而，解放戰(zhàn)爭(zhēng)的隆隆炮聲把他從睡夢(mèng)中驚醒，一個(gè)窮山溝的孩子就是在這種環(huán)境中成長(zhǎng)起來(lái)。
　　1959年，劉明業(yè)從哈爾濱工業(yè)大學(xué)計(jì)算機(jī)專業(yè)畢業(yè)后留校任教。1962年，調(diào)入北京工業(yè)學(xué)院(后改名北京理工大學(xué))。1985年破格晉升教授。1990年被國(guó)務(wù)院學(xué)位委員會(huì)評(píng)審為計(jì)算機(jī)應(yīng)用學(xué)科博導(dǎo)。1998年受聘為學(xué)校計(jì)算機(jī)學(xué)科首席教授并成為本學(xué)科帶頭人。
　　劉明業(yè)教授長(zhǎng)期致力于發(fā)展我國(guó)計(jì)算機(jī)/集成電路設(shè)計(jì)自動(dòng)化事業(yè)，潛心學(xué)校計(jì)算機(jī)學(xué)科的建設(shè)和EDA實(shí)驗(yàn)室建設(shè)，同時(shí)，他培養(yǎng)出北京理工大學(xué)計(jì)算機(jī)學(xué)科第一位碩士、第一位博士及第一位博士后，在改革開(kāi)放30年間，劉明業(yè)教授培養(yǎng)博士近50名、碩士50多名，現(xiàn)在他們大多已成為國(guó)內(nèi)外知名大企業(yè)、科研院所的骨干和名牌大學(xué)教師。
　　劉明業(yè)教授長(zhǎng)期從事計(jì)算機(jī)輔助設(shè)計(jì)和EDA方面的科研工作，有11項(xiàng)成果獲得國(guó)家和部委的獎(jiǎng)勵(lì)，發(fā)表論文百余篇，1992年起享受政府特殊津貼。劉明業(yè)教授主持撰寫的專著、譯著和全國(guó)統(tǒng)編/規(guī)劃教材及國(guó)家技術(shù)標(biāo)準(zhǔn)十多部，這些著述對(duì)國(guó)內(nèi)EDA的研發(fā)及人才培養(yǎng)起到重要作用。
　　
　　※ 山窮水盡疑無(wú)路，柳暗花明又一村
　　
　　“十年動(dòng)亂”期間，科研工作舉步維艱，但劉明業(yè)老師從沒(méi)有停止科研工作。1973年，他成為我國(guó)最早的數(shù)字地炮指揮儀開(kāi)發(fā)項(xiàng)目技術(shù)負(fù)責(zé)人。當(dāng)時(shí)，從邏輯設(shè)計(jì)到印刷電路板繪制工作全部靠手工完成，研制周期長(zhǎng)且難免出現(xiàn)錯(cuò)誤。當(dāng)時(shí)，我們與國(guó)外完全隔離，在CAD領(lǐng)域基本處于空白狀況。改革開(kāi)放后，國(guó)外先進(jìn)技術(shù)大量涌入，但我們?nèi)钥渴止ぷ鞣环绞窖邪l(fā)計(jì)算機(jī)，遠(yuǎn)遠(yuǎn)落后于西方。這時(shí)的劉明業(yè)老師還在“五七”干校鍛煉，但他已敏銳地意識(shí)到我國(guó)必須盡快在這一鄰域開(kāi)展研究，培養(yǎng)出人才并迎頭趕上。此時(shí)，劉明業(yè)老師白天到田里勞動(dòng)，晚上便挑燈看資料，并利用節(jié)假日跑圖書館、搞研究。
　　1978年10月，全國(guó)首屆數(shù)字系統(tǒng)計(jì)算機(jī)輔助設(shè)計(jì)學(xué)術(shù)交流會(huì)在桂林舉行。140多位與會(huì)專家、學(xué)者來(lái)自全國(guó)67個(gè)科研院所、高等學(xué)校及相關(guān)單位。劉明業(yè)把一份向全國(guó)科技大會(huì)獻(xiàn)禮的書稿呈現(xiàn)給大家，這份書稿倍受國(guó)內(nèi)同行的關(guān)注，會(huì)議主持者，電子部15所胡祖宣總工程師當(dāng)場(chǎng)邀請(qǐng)劉明業(yè)到他們研究所的FELIX C-512機(jī)上做工程化實(shí)現(xiàn)工作，這使劉明業(yè)團(tuán)隊(duì)的工作向前邁進(jìn)了一大步?？茖W(xué)出版社編輯也在會(huì)場(chǎng)約劉明業(yè)撰寫《計(jì)算機(jī)輔助邏輯設(shè)計(jì)理論》一書(1985年出版，1995年再版)。在此之后，劉明業(yè)參與創(chuàng)辦了《計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào)》并出任副主編，創(chuàng)刊號(hào)的第一篇文章就是郭書明、劉明業(yè)撰寫的“從行為描述到結(jié)構(gòu)描述的自動(dòng)綜合”。此外，劉明業(yè)還參與創(chuàng)建了中國(guó)計(jì)算機(jī)學(xué)會(huì)“邏輯設(shè)計(jì)自動(dòng)化專業(yè)學(xué)組”，它掛靠在北京理工大學(xué)ASIC研究所，由劉明業(yè)任組長(zhǎng)。劉明業(yè)和研究所的同事在15所C-512機(jī)上工作了近5年，該單位還協(xié)助劉明業(yè)團(tuán)隊(duì)鑒定一項(xiàng)成果——“計(jì)算機(jī)輔助邏輯設(shè)計(jì)程序LOGSYN83”，該成果獲1986年兵器部科技進(jìn)步一等獎(jiǎng)。
　　隨著各方面工作逐一展開(kāi)，科研工作呈現(xiàn)出 “柳暗花明又一村”的欣欣向榮局面。
　　
　　※ 助教勇敢沖上前，前輩鼎力來(lái)相助
　　
　　文革后的1978年，我國(guó)高?；謴?fù)招收研究生，當(dāng)時(shí)，還是助教的劉明業(yè)率先招進(jìn)了第一名碩士研究生，學(xué)校第一次招生的“計(jì)算機(jī)原理”考題就是出于劉明業(yè)之手。為此，劉明業(yè)經(jīng)過(guò)仔細(xì)琢磨并確定了幾條原則：考卷題目要基本覆蓋本課程的全部?jī)?nèi)容；題目難度要適當(dāng)，不宜太深也不能太易。該門課考試結(jié)束后，考生普遍認(rèn)為題目出得很好，全部答出來(lái)不容易，也不會(huì)得零分，能考出學(xué)生的水平。研究生入學(xué)后，劉明業(yè)為他們精心安排選題方向、上機(jī)實(shí)踐及培養(yǎng)計(jì)劃。即使面對(duì)一名學(xué)生，劉明業(yè)仍潛心研究，為其開(kāi)出“計(jì)算機(jī)輔助邏輯設(shè)計(jì)理論”課。
　　劉明業(yè)工作、學(xué)習(xí)十分勤奮，他曾在防震棚里刻苦鉆研、備課；他手中時(shí)常拿著規(guī)規(guī)正正的講稿，和學(xué)生坐在教室的一角，邊閱讀邊討論；在15所FELIX C-512機(jī)器上做研究工作(這在當(dāng)時(shí)是國(guó)內(nèi)最先進(jìn)的中型計(jì)算機(jī))時(shí)，他通過(guò)幾年努力，完成了碩士生研究，探討研究生開(kāi)課的方法并建立碩士研究生相關(guān)的系列課程并全程指導(dǎo)研究生論文研究。這些工作為日后爭(zhēng)取計(jì)算機(jī)應(yīng)用碩士授權(quán)點(diǎn)，乃至申報(bào)博士點(diǎn)積累了經(jīng)驗(yàn)，增添了實(shí)力。
　　20世紀(jì)80年代，國(guó)家學(xué)位制頒布后，國(guó)務(wù)院學(xué)位辦主持的學(xué)位評(píng)審工作十分嚴(yán)謹(jǐn)，有些單位連續(xù)幾次申報(bào)都未通過(guò)，北理工碩士點(diǎn)通過(guò)較晚，博士點(diǎn)的申報(bào)就更難。
　　在1990年第四批博士點(diǎn)申報(bào)中，北京理工大學(xué)計(jì)算機(jī)應(yīng)用博士點(diǎn)在通訊評(píng)議中落選，而指導(dǎo)教師劉明業(yè)則處于少一票的臨界狀態(tài)，兄弟院校的老師從學(xué)科建設(shè)和專業(yè)設(shè)置考慮，認(rèn)為這很可惜。為了學(xué)科發(fā)展，這些老師建議劉明業(yè)向我國(guó)計(jì)算機(jī)老前輩、國(guó)防科技大學(xué)計(jì)算機(jī)系慈云桂教授請(qǐng)教。況且，劉明業(yè)從哈工大當(dāng)助教起至今的幾十年間一直得到慈老指教。一天，劉明業(yè)趕往慈云桂院士家中匯報(bào)，本已出門準(zhǔn)備上班的慈老見(jiàn)劉明業(yè)一早趕來(lái)且面帶難色，馬上回到客廳，聽(tīng)取劉明業(yè)的匯報(bào)。他認(rèn)真翻閱劉明業(yè)提交的材料，并詳細(xì)詢問(wèn)劉明業(yè)有關(guān)學(xué)科建設(shè)的全面情況。他沉思片刻后說(shuō)：“國(guó)家需要大力發(fā)展CAD這一學(xué)科方向，急需人才。你們?cè)谑掷щy情況下開(kāi)展研究工作我早已了解?！蓖瑫r(shí)，慈老表示愿意為劉明業(yè)博士導(dǎo)師問(wèn)題給國(guó)務(wù)院學(xué)位辦寫一封推薦信。慈老提出，文化大革命耽誤了我們十年，危害很深。目前的國(guó)情是一個(gè)單位在這方面強(qiáng)一些，而另一個(gè)單位在別的方面強(qiáng)一些，我們可以發(fā)揚(yáng)社會(huì)主義大協(xié)作精神，合力來(lái)辦一些事，這是我們的好傳統(tǒng)，同時(shí)，慈老建議找一個(gè)已有計(jì)算機(jī)應(yīng)用博士授權(quán)點(diǎn)的單位聘請(qǐng)劉明業(yè)為兼職教授。在慈老的推薦下，劉明業(yè)隨后赴西北工業(yè)大學(xué)，西北工業(yè)大學(xué)給劉明業(yè)發(fā)了聘書，還請(qǐng)其帶回西北工業(yè)大學(xué)研究生院致國(guó)務(wù)院學(xué)位辦的函件，同意他掛靠在該校計(jì)算機(jī)應(yīng)用博士點(diǎn)并兼職博士生導(dǎo)師。
　　1990年，西北工業(yè)大學(xué)將計(jì)算機(jī)學(xué)科僅有的一個(gè)增補(bǔ)博導(dǎo)名額給了北理工劉明業(yè)老師。劉明業(yè)成為博導(dǎo)體現(xiàn)了西北工業(yè)大學(xué)對(duì)北理工的友好情誼和社會(huì)主義大協(xié)作精神。一件小事不僅促進(jìn)了兩校的合作，也促進(jìn)了國(guó)家學(xué)科建設(shè)的發(fā)展。有了這些基礎(chǔ)，北京理工大學(xué)計(jì)算機(jī)博士點(diǎn)在1993年順利通過(guò)第五批博士點(diǎn)評(píng)審。
　　
　　
　　※ 個(gè)人貸款買機(jī)器，節(jié)余還貸講奉獻(xiàn)
　　
　　學(xué)科建設(shè)實(shí)驗(yàn)室至關(guān)重要，而在實(shí)驗(yàn)室建設(shè)中，先進(jìn)的軟硬件設(shè)備又是關(guān)鍵。要建立一流的實(shí)驗(yàn)室必須引進(jìn)一流的設(shè)備，劉明業(yè)老師在購(gòu)置設(shè)備中同樣遇到了許多困難。當(dāng)時(shí)，科研合同大都在年初簽訂，而撥款要到下半年，甚至年末，并且實(shí)行分批撥款。因此，想用科研經(jīng)費(fèi)買件大設(shè)備難度很大。由于劉明業(yè)急于開(kāi)展工作，特向?qū)W校貸款建立電子設(shè)計(jì)自動(dòng)化(EDA)實(shí)驗(yàn)室，在學(xué)校各級(jí)領(lǐng)導(dǎo)的關(guān)懷下，他曾三次以個(gè)人名義，冒著很大風(fēng)險(xiǎn)向?qū)W?？蒲刑幒推鞑奶庂J款，共72萬(wàn)元。
　　當(dāng)時(shí)，北理工馬志清副校長(zhǎng)善意提醒劉明業(yè)說(shuō)：“你向?qū)W校借款是要你自己負(fù)責(zé)還款的呀！”然而，對(duì)劉明業(yè)來(lái)說(shuō)，“一言既出，駟馬難追”，事實(shí)上，劉明業(yè)在后來(lái)也越發(fā)感到這個(gè)包袱的沉重，因?yàn)檫@些貸款相當(dāng)于他幾百年的工資(當(dāng)時(shí)他的工資每月100多元)。面對(duì)壓力和巨額貸款，劉明業(yè)等一班人并沒(méi)有迷失方向，他們不但堅(jiān)持工作、還取得了成果，為了盡快還清貸款，他們的項(xiàng)目經(jīng)費(fèi)節(jié)余全部用于償還因購(gòu)買設(shè)備向?qū)W校的貸款，1988年末，劉明業(yè)終于提前還清了所有設(shè)備貸款。
　　劉明業(yè)為建立先進(jìn)的研究生研究環(huán)境、為爭(zhēng)取更多的國(guó)家科研項(xiàng)目付出了艱苦努力。他們將在15所C-512機(jī)上做的成果移植到Apollo 550工作站上，使工作立刻提高了一個(gè)層次：彩色圖形顯示、反應(yīng)速度快、能處理的數(shù)據(jù)量增大。之后，他們努力攻關(guān)完成了該系統(tǒng)的漢化，在Apollo公司及其國(guó)內(nèi)用戶中引起很大的震動(dòng)。1989年，鑒定認(rèn)為“這是國(guó)內(nèi)在系統(tǒng)級(jí)漢化Apollo 32位工作站最為成功的一例，達(dá)到國(guó)內(nèi)領(lǐng)先、國(guó)際同類產(chǎn)品的先進(jìn)水平，1990年獲國(guó)家四部委軍轉(zhuǎn)民高技術(shù)、出口產(chǎn)品展覽會(huì)銀獎(jiǎng)及1991年兵器部科技進(jìn)步二等獎(jiǎng)。在國(guó)內(nèi)推廣出售到七機(jī)部等27家用戶，共40多臺(tái)(套)。
　　劉明業(yè)貸款買機(jī)器，改造EDA實(shí)驗(yàn)室的環(huán)境和條件，深入開(kāi)展科研工作，為創(chuàng)建博士點(diǎn)邁出了堅(jiān)實(shí)的步伐，加快了人才培養(yǎng)質(zhì)量，促進(jìn)了科研成果，最終建立了博士生培養(yǎng)基地。
　　
　　※ 辛勤耕耘結(jié)碩果，培養(yǎng)碩博多英賢
　　
　　劉明業(yè)自1978年開(kāi)始招收碩士生、1990年開(kāi)始招收博士生。他創(chuàng)建的ASIC研究所中的人員逐年增多，目前，研究所已有40多人并增加了圖形工作站、大型繪圖機(jī)、數(shù)字化儀等先進(jìn)的CAD設(shè)備。實(shí)驗(yàn)室工作人員任務(wù)繁忙，并經(jīng)常接待來(lái)訪、視察的國(guó)內(nèi)外專家、學(xué)者和上級(jí)領(lǐng)導(dǎo)。
　　自從第一名博士生入學(xué)后不久，劉明業(yè)就開(kāi)始考慮研究生培養(yǎng)的具體要求，提出“三篇一級(jí)學(xué)報(bào)文章”的博士研究生畢業(yè)學(xué)術(shù)論文目標(biāo)。這是他根據(jù)自己所接觸的西工大、哈工大、北航、清華大學(xué)及中科院計(jì)算所、軟件所等單位的博士生論文評(píng)閱和答辯的情況，并結(jié)合本校情況，自己提出的高要求。
　　ASIC研究所的所有研究生論文選題都結(jié)合科研項(xiàng)目。指導(dǎo)教師將項(xiàng)目劃分成子課題，分配給同學(xué)們完成，項(xiàng)目執(zhí)行注重上機(jī)實(shí)踐，強(qiáng)調(diào)成果的真實(shí)性和應(yīng)用價(jià)值。每個(gè)子課題完成后必須經(jīng)過(guò)嚴(yán)格測(cè)試，寫出詳細(xì)的測(cè)試報(bào)告及技術(shù)總結(jié)，項(xiàng)目投入應(yīng)用后，才能考慮發(fā)表文章。
　　師生團(tuán)結(jié)奮戰(zhàn)、齊心協(xié)力出成果是ASIC研究所多年來(lái)取得的一條成功經(jīng)驗(yàn)。多年來(lái)ASIC研究所對(duì)AHPL、DDL、VHDL及Verilog四種高層次硬件描述語(yǔ)言組織了許多研究生進(jìn)行連續(xù)不懈攻關(guān)。《VHDL語(yǔ)言100例詳解》[1](清華大學(xué)出版社，1999年)和《專用集成電路行為功能級(jí)模擬技術(shù)》(中國(guó)鐵道出版社，1994)成為該領(lǐng)域當(dāng)時(shí)最暢銷的書，清華大學(xué)出版社多次重印和再版。電子工業(yè)出版社計(jì)算機(jī)事業(yè)部專家認(rèn)為它是VHDL語(yǔ)言在國(guó)內(nèi)影響最深的一本書?！秾Ｓ眉呻娐犯呒?jí)綜合理論》(北理工版，1998年)獲2001年首屆國(guó)防科技優(yōu)秀圖書獎(jiǎng)，后被北理工研究生院向教育部推薦為“研究生教材”。師生們長(zhǎng)期以來(lái)在HDL方面做了很多工作，《Verilog國(guó)標(biāo)》(標(biāo)準(zhǔn)版，2002年)和《VHDL高等教程》(清華大學(xué)出版社，2004年)兩本書是集成電路/計(jì)算機(jī)國(guó)際流行的兩個(gè)HDL(硬件描述語(yǔ)言)標(biāo)準(zhǔn)教材。上述各書均為劉明業(yè)主編。
　　劉明業(yè)經(jīng)常強(qiáng)調(diào)，計(jì)算機(jī)設(shè)計(jì)自動(dòng)化是一門高技術(shù)，從事這方面工作不但需要具備高水平的業(yè)務(wù)能力，還要有高水平的思想素質(zhì)，為此，他們特別重視做好同學(xué)們的政治思想工作，以期達(dá)到教書育人的目的。他們重視正面的思想教育，對(duì)全體研究生提出“思想健康、心態(tài)積極和生活規(guī)律”三點(diǎn)要求。他們認(rèn)為這些要求首先要讓同學(xué)接受，然后再引導(dǎo)他們正確對(duì)待改革開(kāi)放中所出現(xiàn)的各種事物，身心健康地學(xué)習(xí)工作。劉明業(yè)明確要求研究生不要吸煙，ASIC研究所早在20世紀(jì)80年代已是無(wú)煙區(qū)。一位在海外學(xué)習(xí)奮斗十幾年的同志回國(guó)后，見(jiàn)到劉老師的第一句話就是“你教育我要孝順父母，祖國(guó)就是我們的母親”。
　　至今，ASIC研究所獲得11項(xiàng)國(guó)家級(jí)和部級(jí)科研成果獎(jiǎng)，獲得博士學(xué)位的畢業(yè)生近50人，有十多人獲得本校優(yōu)秀博士論文獎(jiǎng)、校優(yōu)秀論文特等獎(jiǎng)，有16人獲本校優(yōu)秀碩士論文獎(jiǎng)。此外，還有多人獲計(jì)算機(jī)學(xué)會(huì)優(yōu)秀論文獎(jiǎng)、計(jì)算機(jī)學(xué)會(huì)專業(yè)會(huì)議的論文獎(jiǎng)等。ASIC研究所師生共發(fā)表論文數(shù)百篇。這些論文大部分被SCI、EI或ISTP收錄，或在國(guó)內(nèi)一級(jí)學(xué)報(bào)發(fā)表。
　　今天，這些博士、碩士生當(dāng)中有的在中科院等國(guó)家級(jí)科研院所和國(guó)內(nèi)重點(diǎn)大學(xué)工作，有的已成為中外大企業(yè)的重要骨干。很多人已晉升高工、副教授、教授及博導(dǎo)，有的已是國(guó)外名牌大學(xué)的教授，有的還擔(dān)任了系主任、院長(zhǎng)職務(wù)。
　　
　　※ 科研攻關(guān)不畏難，艱苦創(chuàng)業(yè)志超前
　　
　　高水平的科研才能培養(yǎng)造就高水平的人才。劉明業(yè)長(zhǎng)期以來(lái)始終把科研作為人才培養(yǎng)工作的重點(diǎn)。他幾十年如一日，一絲不茍、兢兢業(yè)業(yè)、勤勤懇懇地頑強(qiáng)拼搏在教學(xué)科研的第一線。
　　邏輯綜合與硬件描述是計(jì)算機(jī)輔助設(shè)計(jì)兩大難關(guān)，是研究EDA工具的重要基礎(chǔ)。自動(dòng)邏輯綜合的研究?jī)?nèi)容包括數(shù)字電路組合邏輯、時(shí)序邏輯、自動(dòng)綜合的理論和算法研究等。從1978年開(kāi)始研究到1984年，成果“計(jì)算機(jī)輔助邏輯設(shè)計(jì)程序LOGSYN83”通過(guò)鑒定，被譽(yù)為“達(dá)到國(guó)內(nèi)最先進(jìn)水平，有些算法是國(guó)外文獻(xiàn)所未見(jiàn)到過(guò)的”，獲兵器部1986年度科技進(jìn)步一等獎(jiǎng)。反映理論成果的“自動(dòng)邏輯綜合系統(tǒng)中的幾個(gè)覆蓋問(wèn)題及其求解方法”刊于1981年《計(jì)算機(jī)學(xué)報(bào)》，建立的自動(dòng)邏輯綜合系統(tǒng)，可以解決規(guī)模較大的覆蓋問(wèn)題，具有實(shí)用價(jià)值，這個(gè)系統(tǒng)的設(shè)計(jì)及實(shí)現(xiàn)方法均屬于當(dāng)時(shí)國(guó)內(nèi)最先進(jìn)水平?！队?jì)算機(jī)輔助邏輯設(shè)計(jì)理論》[2] (科學(xué)出版社)一書獲北京市1998年度科技進(jìn)步三等獎(jiǎng)。
　　劉明業(yè)在高級(jí)綜合理論、硬件描述語(yǔ)言、綜合優(yōu)化理論與算法等方面積累了豐富的研究成果，在國(guó)家級(jí)的學(xué)術(shù)期刊上發(fā)表過(guò)大量論文。他主編的《專用集成電路高級(jí)綜合理論》[3]一書獲國(guó)防科工委“首屆國(guó)防科技工業(yè)優(yōu)秀圖書獎(jiǎng)”?？茖W(xué)院計(jì)算所林宗楷研ExaO9NiCVcwmGkYf2R5uLX1yx80PfzaqOtcjSyS6uc0=究員和清華大學(xué)薛宏熙教授及北京郵電大學(xué)沈樹(shù)雍教授都給予了很高的評(píng)價(jià)，他們認(rèn)為“該書的內(nèi)容反映了國(guó)內(nèi)八五期間該領(lǐng)域研究中的重大突破，系統(tǒng)而科學(xué)地總結(jié)出一系列創(chuàng)造性工作，其特色是貫穿了高級(jí)綜合的各個(gè)方面(編譯，綜合，模擬驗(yàn)證，工藝映射及邏輯圖自動(dòng)生成)。近年來(lái)國(guó)內(nèi)出版和國(guó)外進(jìn)口的高級(jí)綜合專著還沒(méi)有那一本內(nèi)容如此全面、系統(tǒng)、深入。因此，本書以其內(nèi)容的系統(tǒng)性、完整性，理論性和高度實(shí)用性，科學(xué)地描述出EDA中高級(jí)綜合這一學(xué)科的全貌，不但在國(guó)內(nèi)屬首創(chuàng)，在國(guó)外同類著作中也是不多見(jiàn)的”。
　　在硬件描述語(yǔ)言國(guó)標(biāo)制定方面，劉明業(yè)老師等也做了大量開(kāi)拓性工作，他主持起草或制定了國(guó)家標(biāo)準(zhǔn)《集成電路/計(jì)算機(jī)硬件描述語(yǔ)言Verilog》[4](GB/T 18349-2001)國(guó)家質(zhì)量技術(shù)監(jiān)督局2002年發(fā)布。主持撰寫了《電子CAD/EDA描述語(yǔ)言通用技術(shù)規(guī)范》。包含了VHDL最新標(biāo)準(zhǔn)的《集成電路/計(jì)算機(jī)硬件描述語(yǔ)言VHDL高等教程》[5]由清華大學(xué)出版社2002年出版。
　　工程實(shí)現(xiàn)既包括了科研攻關(guān)成果的綜合集成，同時(shí)還要解決諸多具體實(shí)現(xiàn)上的難題。在本世紀(jì)初，他帶領(lǐng)團(tuán)隊(duì)解決了二維條形碼識(shí)讀器國(guó)產(chǎn)化中編碼、糾錯(cuò)及譯碼的關(guān)鍵技術(shù)問(wèn)題，為建立我國(guó)獨(dú)立的擁有自主知識(shí)產(chǎn)權(quán)的條形碼產(chǎn)業(yè)奠定了基礎(chǔ)。他還經(jīng)過(guò)多年努力成功完成了一套完備的“數(shù)字系統(tǒng)高層次自動(dòng)設(shè)計(jì)系統(tǒng)”EDA工具軟件。此系統(tǒng)基于硬件描述語(yǔ)言VHDL/Verilog及其編譯、模擬驗(yàn)證、自動(dòng)綜合，乃至工藝映射和邏輯圖自動(dòng)生成等軟件的集成系統(tǒng)。
　　多年來(lái)，劉明業(yè)在教材編寫方面也作出了突出貢獻(xiàn)。《數(shù)字系統(tǒng)計(jì)算機(jī)輔助設(shè)計(jì)》(國(guó)防工業(yè)出版社，1980年出版)系文革后全國(guó)高校第一輪統(tǒng)編教材。《數(shù)字系統(tǒng)設(shè)計(jì)自動(dòng)化》(電子工業(yè)出版社，1991年出版)系工科電子類七五規(guī)劃教材。《數(shù)字系統(tǒng)自動(dòng)設(shè)計(jì)》(高等教育出版社，1996年出版)系國(guó)家教委首屆計(jì)算機(jī)科學(xué)教學(xué)指導(dǎo)委員會(huì)規(guī)劃教材?！稊?shù)字系統(tǒng)自動(dòng)設(shè)計(jì)實(shí)用教程》(高等教育出版社，2004年出版)系普通高等教育“十五”國(guó)家級(jí)規(guī)劃教材。
　　總之，劉明業(yè)教授為北京理工大學(xué)與我國(guó)計(jì)算機(jī)輔助設(shè)計(jì)人才培養(yǎng)和學(xué)科建設(shè)發(fā)展付出了大量的艱苦努力，歷史將銘記著他的貢獻(xiàn)。
　　
　　參考文獻(xiàn)：
　　[1]