高可信IP核交付标准应用  

APPLICATION OF DELIVERY STANDARDS FOR HIGH-DEPENDABLE IP CORES

作　　者：周娟[1] 金乃咏[1] 

机构地区：[1]华东师范大学软件学院,上海200062

出　　处：《计算机应用与软件》2009年第7期56-58,65,共4页Computer Applications and Software

基　　金：上海市科委"高可信芯片设计前端平台与工业控制芯片设计应用"资助(067062017)

摘　　要：随着数字系统的日益复杂,基于IP(Intellectual Property)的设计方法成为缩短开发周期的必然之选。因此,高可信IP核构建技术成为IP核交付及IP核复用成功的关键。主要研究高可信IP核的构建方法,首先阐述高可信IP核,以及高可信IP核应具有的特点;然后在国内外各大IP核标准的基础上,结合形式化规范技术,给出了一个可操作的高可信IP核文档交付方案。With the increasing complexity of digital system, intellectual property （IP） based design approach becomes the certainty of choice for shortening the development cycle. Therefore, the construction technology of high-dependable IP cores is critical to the success of IP delivery and reuse. This paper aims at methods for building high-dependable IP cores. In the paper it begins with the definition and characteristics of high-dependable IP cores, then reviews some main domestic and overseas standards of IP cores, and presents an operable solution in IP documentations delivery on that basis as well as in combination with the formal specification technique.

关 键 词：高可信IP核 形式化规范 可操作 

分 类 号：TP309.7[自动化与计算机技术—计算机系统结构] TN402[自动化与计算机技术—计算机科学与技术]