本文關(guān)鍵詞：片上系統(tǒng)高層等價(jià)性檢驗(yàn)研究進(jìn)展，由筆耕文化傳播整理發(fā)布。

【摘要】：針對(duì)近年來(lái)SoC領(lǐng)域的工作,首先分析了高層等價(jià)性檢驗(yàn)的難點(diǎn);然后從算法類型歸類角度對(duì)各種高層等價(jià)性檢驗(yàn)方法進(jìn)行了概述評(píng)論,同時(shí)分析了各類算法的優(yōu)缺點(diǎn)和現(xiàn)有算法的主要技術(shù)手段;最后討論了SoC高層等價(jià)性檢驗(yàn)方法目前面臨的挑戰(zhàn),并對(duì)該領(lǐng)域今后的研究方向進(jìn)行了展望.
【作者單位】： 國(guó)防科學(xué)技術(shù)大學(xué)計(jì)算機(jī)學(xué)院;
【關(guān)鍵詞】： 等價(jià)性檢驗(yàn) 帶數(shù)據(jù)通路的有限狀態(tài)機(jī) 符號(hào)模擬 形式化方法
【基金】：國(guó)家自然科學(xué)基金重點(diǎn)項(xiàng)目(61133007);國(guó)家自然科學(xué)基金(61272335)
【分類號(hào)】：TN47
【正文快照】： So C在一塊芯片中包含了極為復(fù)雜的功能與結(jié)構(gòu),隨著其復(fù)雜度的增加,寄存器傳輸級(jí)(registertransfer level,RTL)的建模方法已不適應(yīng)于目前的大規(guī)模So C系統(tǒng)設(shè)計(jì),電子系統(tǒng)級(jí)設(shè)計(jì)逐漸成為主流.在電子系統(tǒng)設(shè)計(jì)流程中,設(shè)計(jì)人員采用自頂向下的方式從系統(tǒng)級(jí)開始利用高級(jí)設(shè)計(jì)語(yǔ)言(C++/

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 李建華;李紅革;;形式化及其歷史發(fā)展[J];自然辯證法研究;2008年08期

2 柴振榮;形式化檢驗(yàn)的簡(jiǎn)化[J];管理科學(xué)文摘;1999年05期

3 古天龍;形式化技術(shù)及其工業(yè)應(yīng)用:現(xiàn)狀與展望[J];桂林電子工業(yè)學(xué)院學(xué)報(bào);2000年04期

4 楊杰,鄭明春;形式化方法和對(duì)象技術(shù)的結(jié)合途徑研究[J];山東師大學(xué)報(bào)(自然科學(xué)版);2000年02期

5 鄧勇,丁峰,沈鈞毅;一種結(jié)構(gòu)化形式化說(shuō)明的方法[J];小型微型計(jì)算機(jī)系統(tǒng);2002年06期

6 朱艷龍;;軟件形式化方法的研究[J];陰山學(xué)刊(自然科學(xué)版);2004年02期

7 潘紅艷,于全;用于通信網(wǎng)絡(luò)協(xié)議開發(fā)的形式化方法[J];計(jì)算機(jī)工程;2004年02期

8 陳長(zhǎng)春,王昭順;形式化技術(shù)應(yīng)用于軟件逆工程的實(shí)踐研究[J];計(jì)算機(jī)工程與設(shè)計(jì);2005年05期

9 劉瑞成,張立臣;集成實(shí)時(shí)邏輯與Z++語(yǔ)言的形式化方法[J];計(jì)算機(jī)工程與設(shè)計(jì);2005年11期

10 陳宇;鄒盛榮;陽(yáng)雪平;;形式化B方法數(shù)學(xué)基礎(chǔ)的實(shí)例研究[J];常熟理工學(xué)院學(xué)報(bào);2008年10期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前7條

1 李文健;;形式化的涵義及其認(rèn)識(shí)論本質(zhì)[A];1993年邏輯研究專輯[C];1993年

2 吳允曾;;關(guān)于形式化的幾個(gè)問題[A];金岳霖學(xué)術(shù)思想研究——金岳霖學(xué)術(shù)思想研討會(huì)論文集[C];1985年

3 鄭宇軍;石海鶴;薛錦云;;Spec#語(yǔ)言中的形式化特性[A];2005年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年

4 雷敏;雷友殉;;一種UML到SDL轉(zhuǎn)換方法的研究與應(yīng)用[A];2006通信理論與技術(shù)新進(jìn)展——第十一屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集[C];2006年

5 苗潔君;王克;;密碼模塊的形式化設(shè)計(jì)和驗(yàn)證研究[A];第二十一次全國(guó)計(jì)算機(jī)安全學(xué)術(shù)交流會(huì)論文集[C];2006年

6 繆道期;;評(píng)審計(jì)算機(jī)安全等級(jí)[A];第二次計(jì)算機(jī)安全技術(shù)交流會(huì)論文集[C];1987年

7 趙曉峰;;城市軌道交通自主化信號(hào)系統(tǒng)全面創(chuàng)新實(shí)踐[A];中國(guó)系統(tǒng)工程學(xué)會(huì)第十八屆學(xué)術(shù)年會(huì)論文集——A12系統(tǒng)科學(xué)與系統(tǒng)工程理論在各個(gè)領(lǐng)域中的應(yīng)用研究[C];2014年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前1條

1 殷杰 安軍 山西大學(xué)科學(xué)技術(shù)哲學(xué)研究中心;21世紀(jì)科學(xué)哲學(xué)的關(guān)鍵詞:語(yǔ)境、科學(xué)理性與形式化[N];中國(guó)社會(huì)科學(xué)報(bào);2011年

  本文關(guān)鍵詞：片上系統(tǒng)高層等價(jià)性檢驗(yàn)研究進(jìn)展，由筆耕文化傳播整理發(fā)布。

，

本文編號(hào)：431203