随着数字系统的日益复杂,基于IP(Intellectual Property)的设计方法成为缩短开发周期的必然之选。然而,很少有公司能够提供用于完整“系统级芯片(SoC,System-on-Chip)”解决方案所需的所有必要的资源,因此IP复用技术(IP Reuse)成为提高大规模IC设计效率的一种有效方法,IP核转让过程也因此成为了系统级芯片设计流程中的一个关键环节。进而,如何顺利完成IP转让获取各种所需功能模块,以及如何快速便捷地将IP功能模块集成到目标应用系统,成为争取面市时间和实现商业目的关键因素。因此构建高可信IP核成为IP核成功交付以及IP核成功复用的关键技术。本文主要研究了一种可操作的高可信软IP核的设计方法。本文首先阐述了什么是高可信IP核,给出了高可信IP核的形式化规范描述。其主要包括:完整的设计和转让文档;提供验证以及综合部分的脚本文件;不同级别的模型;具有可配置性;通用的总线接口规范和测试接口规范;提供可重复的验证和测试;良好的代码编写风格。接着对国内外各大IP核标准进行了比较研究,提出采用我国信息产业部发布的软IP核可交付项规范和文档结构规范来对IP核进行交付项以及相应的文档进行组织管理。这样在IP核的转让时,IP核供应商在交付构件功能信息的同时既隐藏掉构件的具体实现细节,又保护自己的知识产权。从而保证IP核在文档组织上的高可信和可操作性。然后研究了高可信IP核的形式化规范验证技术,认为基于断言的验证(ABV)是对IP核进行功能验证的有效方法。基于断言的功能验证能及时、迅速地发现错误,并能实现基于功能覆盖率的验证,提高验证的充分性。进而在功能上保证IP核的高可信。最后本文按照上述几点设计了一个可操作的高可信IP核构建方案,并按照这个方案构建了一个定时器/计数器核,并运用VSIA的QIP3.0标准和我国信息产业部发布的质量评估标准对该核进行了评估。通过对评估结果进行比较分析得出本文所提供高可信IP核的构建方案是可行的。