高可信IP核交付标准应用

• 作者: 周娟 金乃咏
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 高可信IP核 形式化规范 可操作
• 年，卷（期）: 2009,（7）
• 所属期刊栏目: 基金项目论文
• 页码范围: 56-58,65
• 页数: 4页
• 分类号: TP3
• 字数: 4498字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2009.07.020

摘要

随着数字系统的日益复杂,基于IP(Intellectual Property)的设计方法成为缩短开发周期的必然之选.因此,高可信IP核构建技术成为IP核交付及IP核复用成功的关键.主要研究高可信IP核的构建方法,首先阐述高可信IP核,以及高可信IP核应具有的特点;然后在国内外各大IP核标准的基础上,结合形式化规范技术,给出了一个可操作的高可信IP核文档交付方案.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金乃咏	华东师范大学软件学院	5	23	2.0	4.0
2	周娟	华东师范大学软件学院	13	53	4.0	7.0