摘要
本发明涉及芯片技术领域,尤其涉及一种基于软件存储模型的验证系统,包括驱动模块、第一转换接口、RTL模块、第二转换接口和存储模型,驱动模块以及存储模型基于软件语言实现,第一转换接口和第二转换接口基于软件语言以及硬件语言实现,RTL模块基于硬件语言实现,RTL模块中用于存储待测芯片设计的RTL代码;驱动模块与第一转换接口相连接,第一转换接口与RTL模块相连接,RTL模块与第二转换接口相连接,存储模型包括前门访问通路和后门访问通路,RTL模块通过前门访问通路与存储模型相连接,驱动模块通过后门访问通路与存储模型相连接。本发明降低了芯片验证成本,提升了芯片验证效率和验证系统性能。
技术关键词
后门
SystemVerilog语言
接口模块
前门
记录单元
软件测试用例
指令
验证系统
内存
存储器
芯片验证
系统测试用例
待测芯片
日志
下发系统
参数
软件仿真
系统为您推荐了相关专利信息
密度计算方法
语义角色标注
热力图
滑动窗口
接口模块
智能微电网
微电网控制装置
智能控制模块
继电器控制模块
多路断路器
电子元器件表面
缺陷分析系统
注意力机制
数据处理模块
图像采集模块
MBD模型
管路
接口模块
信息管理库
数据管理库