發(fā)布時間：2017-06-08 03:12

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

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

【相似文獻】

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

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

2 柴振榮;形式化檢驗的簡化[J];管理科學文摘;1999年05期

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

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

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

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

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

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

9 劉瑞成,張立臣;集成實時邏輯與Z++語言的形式化方法[J];計算機工程與設計;2005年11期

10 陳宇;鄒盛榮;陽雪平;;形式化B方法數(shù)學基礎的實例研究[J];常熟理工學院學報;2008年10期

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

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

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

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

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

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

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

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

中國重要報紙全文數(shù)據(jù)庫 前1條

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

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

，

本文編號：431203