基于混合原型平台的UARTIP核设计与验证

传统的软硬件设计方法已无法满足So C快速验证的应用需求。针对此现状,阐述了虚拟平台与硬件平台相结合的混合原型验证技术,主要介绍了UART IP混合验证方案,分析了UART IP核协议、功能模块设计以及FPGA平台搭建,最后通过构建虚拟平台和编写测试脚本,对IP核进行混合原型验证。验证结果表明,该IP核复用性好,完全可以应用于So C设计中。

基于带约束的随机平台接口IP核的功能验证

针对目前SOC设计中IP核的验证工作,分析与研究了基于带约束的随机功能验证,通过比较确定性的直接验证方法与可约束的随机验证方法,对独立设计的EMIF IP核进行验证。在此基础上,应用参数化的脚本文件生成和维护可约束的随机测试点。通过搭建验证平台分析了仿真接口输出响应以及仿真结果,表明该方法具有较强的灵活性与可维护性,同时能有效提高验证效率。

IP核测试验证技术研究与应用

IP核测试验证的目的在于检测其是否存在功能和时序错误,从而对IP核进行修改,提高产品的可靠性。结合用户设计的IP核测试要求,研究IP核测试验证方案与优化流程、系统性测试优化、自测试及其测试复用和测试集成与优化,以当今高速接口芯片关键测试测试共性问题为例,着重在IP核评测实施上提供具体ATE测试验证方案及流程,通过高速接口芯片实际开发测试的研究和实践,提出经济性、低成本和共性的自动化测试(ATE)解决方案及流程,从成本和效率上符合未来高速接口芯片的测试需求。

IP核技术在航天系统的发展与展望

介绍国内外IP核技术发展的概况,对IP分类、IP核设计验证、评测标准以及航天IP核库建设等方面进行论述,并讨论IP核技术在航天系统发展应用的关键问题。