◎評(píng)《提高SoC硬件系統(tǒng)驗(yàn)證效率方法的綜述》

在當(dāng)前的SoC設(shè)計(jì)中，復(fù)雜的系統(tǒng)結(jié)構(gòu)和50億只晶體管的集成規(guī)模使得驗(yàn)證成為最關(guān)鍵也是最耗時(shí)的環(huán)節(jié)，占整個(gè)設(shè)計(jì)周期的比重高達(dá)70%。有效驗(yàn)證問題已成為SoC設(shè)計(jì)的一個(gè)重要主題，國內(nèi)外學(xué)者和研究人員針對(duì)該問題展開了廣泛的研究。

該文綜述了近年來國內(nèi)外業(yè)界和學(xué)術(shù)界研究開發(fā)的驗(yàn)證技術(shù)和驗(yàn)證策略。針對(duì)傳統(tǒng)驗(yàn)證方法(如仿真和形式驗(yàn)證等)在應(yīng)用于當(dāng)前SoC設(shè)計(jì)規(guī)模時(shí)存在的問題，列舉了大量的改進(jìn)技術(shù)。同時(shí)，介紹了新近快速發(fā)展的混合驗(yàn)證和面向設(shè)計(jì)的驗(yàn)證方法(design for verifications)。最后，基于對(duì)現(xiàn)有驗(yàn)證技術(shù)和方法的分析以及面向未來SoC芯片規(guī)模，作者提出了SoC設(shè)計(jì)與驗(yàn)證在同一個(gè)平臺(tái)、結(jié)構(gòu)化、遞歸式進(jìn)行的思想(verifying while designing)。

劉強(qiáng)博士在英國倫敦帝國理工學(xué)院攻讀博士及博士后期間就專注于SoC的硬件驗(yàn)證，該篇綜述將有助于讀者了解當(dāng)前國際范圍內(nèi)SoC硬件驗(yàn)證技術(shù)的現(xiàn)狀、存在的問題、以及未來的發(fā)展趨勢(shì)。

◎評(píng)《基片集成波導(dǎo)技術(shù)：最新的發(fā)展及未來的展望》

移動(dòng)通信、無線通信、射頻電子標(biāo)簽、無線傳感器網(wǎng)絡(luò)、GPS等已經(jīng)成為人們身邊的科技；衛(wèi)星通信廣播、氣象遙感、衛(wèi)星導(dǎo)航、航天通信、太空通信等不再是陌生的科技；大容量無線多媒體也已經(jīng)不再是夢(mèng)想。這一切都離不開工作達(dá)數(shù)百兆赫茲到數(shù)百吉赫茲的微波毫米波系統(tǒng)。然而，它們的體積和成本卻成為制約各種無線多媒體通信系統(tǒng)的瓶頸，市場(chǎng)需求驅(qū)動(dòng)微波毫米波系統(tǒng)必須微型化、高度集成化、多功能化、寬帶化、多任務(wù)化、智能化，從而使得現(xiàn)代微波毫米波系統(tǒng)成為一個(gè)真正的復(fù)雜系統(tǒng)。

因此，從硬件上如何支持這樣一個(gè)復(fù)雜系統(tǒng)低成本化的實(shí)現(xiàn)，就成為一個(gè)挑戰(zhàn)，如何構(gòu)建一個(gè)工藝平臺(tái)來實(shí)現(xiàn)就成為微波毫米波工程的奧運(yùn)賽場(chǎng)。基片集成波導(dǎo)技術(shù)(SIW)則是可以滿足這些需求的一個(gè)平臺(tái)，也將成為業(yè)界的主流技術(shù)平臺(tái)之一。吳柯教授(IEEE Fellow)是SIW技術(shù)的發(fā)明者，也是國際微波毫米波界的知名專家，希望這篇文章能夠?qū)ξ覈⒉ê撩撞ǖ陌l(fā)展起到一定的借鑒作用。