计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2009年
7期
56-58,65
,共4页
高可信IP核%形式化规范%可操作
高可信IP覈%形式化規範%可操作
고가신IP핵%형식화규범%가조작
随着数字系统的日益复杂,基于IP(Intellectual Property)的设计方法成为缩短开发周期的必然之选.因此,高可信IP核构建技术成为IP核交付及IP核复用成功的关键.主要研究高可信IP核的构建方法,首先阐述高可信IP核,以及高可信IP核应具有的特点;然后在国内外各大IP核标准的基础上,结合形式化规范技术,给出了一个可操作的高可信IP核文档交付方案.
隨著數字繫統的日益複雜,基于IP(Intellectual Property)的設計方法成為縮短開髮週期的必然之選.因此,高可信IP覈構建技術成為IP覈交付及IP覈複用成功的關鍵.主要研究高可信IP覈的構建方法,首先闡述高可信IP覈,以及高可信IP覈應具有的特點;然後在國內外各大IP覈標準的基礎上,結閤形式化規範技術,給齣瞭一箇可操作的高可信IP覈文檔交付方案.
수착수자계통적일익복잡,기우IP(Intellectual Property)적설계방법성위축단개발주기적필연지선.인차,고가신IP핵구건기술성위IP핵교부급IP핵복용성공적관건.주요연구고가신IP핵적구건방법,수선천술고가신IP핵,이급고가신IP핵응구유적특점;연후재국내외각대IP핵표준적기출상,결합형식화규범기술,급출료일개가조작적고가신IP핵문당교부방안.
