10.3969/j.issn.1000-386X.2009.07.020
高可信IP核交付标准应用
随着数字系统的日益复杂,基于IP(Intellectual Property)的设计方法成为缩短开发周期的必然之选.因此,高可信IP核构建技术成为IP核交付及IP核复用成功的关键.主要研究高可信IP核的构建方法,首先阐述高可信IP核,以及高可信IP核应具有的特点;然后在国内外各大IP核标准的基础上,结合形式化规范技术,给出了一个可操作的高可信IP核文档交付方案.
高可信IP核、形式化规范、可操作
26
TP3;TQ0
上海市科委"高可信芯片设计前端平台与工业控制芯片设计应用"资助067062017
2009-08-19（万方平台首次上网日期，不代表论文的发表时间）
共4页
56-58,65
