基于虚拟SoC平台的IP正交激励验证方法

针对传统的IP验证方法中模块级验证平台与激励发生机制效率较低且难以重用的问题,提出一种基于虚拟SoC平台的正交激励验证方法,以优化IP验证流程.通过高层抽象建模,对传统IP验证平台进行扩展,构建包括系统级功能模型与外设行为模型在内的IP验证虚拟SoC平台;基于此平台提出通信与计算分离的正交化激励映射,并分别优化IP通信接口与逻辑功能验证用例生成流程.多个IP的功能验证实例结果表明,该方法可显著地提高IP验证重用性与验证效率,降低验证复杂度.

VLIW体系结构微处理器功能验证模型

为了系统而有效地设计微处理器功能验证激励,针对VLIW体系结构微处理器的结构特征,特别是多操作流水线并行特征,提出了VLIW体系结构微处理器的功能验证模型,基于该模型,针对一个规模为1500kbit等效逻辑门的VLIW体系结构微处理器,完成了功能验证方案的制定和105周期功能验证激励的设计.

基于GUI和PXI总线的IC功能验证平台设计

利用自动测试设备进行集成电路功能诊断验证时,由于激励生成费时、调试繁琐、测试成本高,严重影响了集成电路验证效率及应用的推广。针对此问题,设计了一种基于图形用户界面(GUI)和面向仪器系统的PCI扩展(PXI)总线的集成电路功能验证平台。建立了一种快速的验证激励生成机制,并利用Lab VIEW开发了GUI;进一步利用GUI控制PXI系统进行激励的发送、响应的采集及验证结果的分析。该平台已成功应用于某信道编解码芯片流片后的功能验证。实验结果表明,该平台满足集成电路功能验证的要求;与其他平台相比,明显降低了芯片验证的难度和成本。