【技术实现步骤摘要】
本专利技术涉及芯片验证，特别涉及一种基于uvm的多处理器芯粒缓存一致性验证模组及方法。
技术介绍
1、存储一致性与缓存一致性是计算系统及其他涉及共享存储资源系统中较为复杂的一项课题。为保证各级缓存与内存的数据一致，人们按照系统的实际需求，提出了各类缓存一致性协议，常见的如msi、mesi、mosi、moesi、mersi、mesif等等。通过记录缓存行的状态如已修改modified (m)、独占exclusive (e)、共享shared (s)、无效invalid (i)等来表明当前缓存块与下一级缓存或共享内存中数据的区别，通过一致性管理软硬件来保证其合法性。
2、处理器的应用场景向高算力、数据密集方向发展，系统的计算资源需求增加，要求处理器的设计向资源密集型发展。基于芯粒的处理器结构成为一种发展途径。当多处理器芯粒共享存储资源，多处理器芯粒间的缓存与共享内存的数据一致性问题需要解决。
3、验证多处理器芯粒间的缓存一致性具有重要意义。一方面，随着处理器核心数量的增加，设计规模增加导致仿真调试的难度与验证复杂度增加；另一方面，系统基于多处理器芯粒的结构，其面临的情况更为复杂，调试、故障定位与分析的难度进一步加大。因此，亟需研发一种基于uvm的多处理器芯粒缓存一致性验证模组及方法来解决上述问题。
技术实现思路
1、本专利技术的目的在于提供一种基于uvm的多处理器芯粒缓存一致性验证模组，通过uvm提供结构化和模块化的方法，方便构建验证组件和管理验证环境；具备事务
2、为解决上述技术问题，本专利技术提供了一种基于uvm的多处理器芯粒缓存一致性验证模组，包括：
3、核心激励生成单元，与片上总线挂载，为待测核心子系统生成激励；所述核心激励生成单元包括取指令、取/写数据、刷新、淘汰、不可缓存写、不可缓存读操作，提供随机激励与测试集相关激励；
4、外设访存激励生成单元，与片上总线挂载，模拟高速设备访问内存的行为；所述外设访存激励生成单元包括不可缓存写、不可缓存读操作，提供不同数据粒度的激励；外设访存激励生成单元例化多个在片上总线上，不超过片上总线的实际带宽；
5、核心子系统监听单元，与片上总线挂载，内置核心缓存一致性模型和性能计数模块，处理所述核心激励生成单元的请求激励，通过核心缓存一致性模型产生合法的一致性行为；同时监听待测核心子系统内的一次请求、监听、应答和响应，获取缓存行的备份信息，并与核心缓存一致性模型合法的一致性行为进行比较，将比较结果发送到日志生成器；性能计数模块收集核心子系统内各级缓存收到的请求数、命中数、三级缓存请求冲突的地址和冲突的次数以及核心子系统内队列的使用情况，用于性能分析，将结果发送到日志生成器；
6、待测核心子系统、待测内存一致性管理模块，与片上总线挂载，作为多处理器芯粒系统中的功能模块，待测核心子系统包括一级指令缓存、一级数据缓存、二级缓存、三级缓存、缓存目录以及三级缓存一致性管理模块；待测内存一致性管理模块处理发给内存块的访存请求，监听各三级缓存目录的缓存行信息；
7、内存一致性监听单元，内置内存一致性处理模块和性能计数模块，处理片上总线上访问本内存块的访存请求；访存请求包括来自本芯粒核心子系统的请求、外设访存激励生成单元的请求与其他芯粒核心子系统的请求、外设访存激励生成单元的请求；监听待测内存一致性管理模块的一次请求、监听、应答和响应，并与所述内存一致性监听单元的一致性行为进行比较，将比较结果发送到日志生成器；性能计数模块收集请求冲突的地址和冲突的次数以及内存一致性管理模块内队列的使用情况，用于性能分析，将结果发送到日志生成器；
8、日志生成器，用于收集核心子系统监听单元、内存一致性监听单元的比较结果信息与性能计数信息，生成日志信息并显示。
9、优选的，所述核心激励生成单元还包括随机激励生成模块与测试集相关激励生成模块；所述核心激励生成单元生成激励序列的信息包括待测核心子系统编码、操作码、地址、粒度、数据；其中所述编码为芯粒号+核心号+线程号；每个核心子系统对应一个核心激励生成单元，随机激励生成模块对除核心子系统编码外的其他信息随机生成序列，测试集相关激励生成模块根据固定测试程序产生对应序列，将激励序列发给待测核心子系统和核心子系统监听单元。
10、优选的，所述外设访存激励生成单元生成激励序列的信息包括编码、操作码、地址、粒度、数据；其中所述编码为芯粒号+设备号。
11、优选的，所述核心子系统监听单元还包括缓存一致性事务监听模块、三级缓存目录模块、三级缓存模型、激励输入模块、总线事务处理模块和比较模块；
12、激励输入模块处理核心激励生成单元的请求，将请求事务发给核心缓存一致性模型，核心缓存一致性模型产生核心一致性事务请求，与三级缓存目录模块交互产生监听、应答和响应，同时将产生的请求、监听、应答和响应信息发送到比较模块；
13、总线事务处理模块处理片上总线上内存一致性监听单元来的监听，发给三级缓存目录模块，产生应答，同时将监听、应答发送到比较模块；
14、三级缓存目录模块根据缓存行状态，与三级缓存模型交互进行缓存操作，并将缓存行状态、缓存操作类型发送到比较模块；
15、缓存一致性事务监听模块收集待测核心子系统的缓存一致性事务、缓存行备份信息和缓存操作、队列使用情况，并发送到比较模块和性能计数模块，其中一致性事务包括一致性请求、监听、应答和响应；
16、比较模块将待测核心子系统的缓存一致性事务、缓存行备份信息和缓存操作，与三级缓存目录模块、三级缓存模型、核心缓存一致性模型发来的一致性事务、缓存行状态和缓存操作进行比较，将比较结果和芯粒号+核心号+线程号、操作码、地址发给日志生成器；
17、性能计数模块根据待测核心子系统的缓存一致性事务、缓存行备份信息和缓存操作，统计缓存的请求数、命中数、三级缓存请求冲突的地址和冲突的次数、和队列使用情况，将结果发送到日志生成器。
18、优选的，所述内存一致性监听单元还包括内存一致性事务监听模块、内存模型、总线事务模块和比较模块；
19、总线事务模块处理片上总线上来自本芯粒核心子系统的请求、外设访存激励生成单元的请求，来自其他芯粒核心子系统的请求、外设访存激励生成单元的请求，将请求事务发给内存一致性处理模块；
20、内存一致性处理模块与所有的核心子系统监听单元交互产生监听、应答，并返回响应给请求方，同时将产生的请求、监听、应答和响应信息发送到比较模块；
21、内存一致性处理模块根据接收的监听进行一致性处理，对内存模型进行操作，并将内存操作类型发送到比较模块；
【技术保护点】
1.一种基于UVM的多处理器芯粒缓存一致性验证模组，其特征在于，包括：
2.如权利要求1所述的一种基于UVM的多处理器芯粒缓存一致性验证模组，其特征在于，所述核心激励生成单元还包括随机激励生成模块与测试集相关激励生成模块；所述核心激励生成单元生成激励序列的信息包括待测核心子系统编码、操作码、地址、粒度、数据；其中所述编码为芯粒号、核心号和线程号；每个核心子系统对应一个核心激励生成单元，随机激励生成模块对除核心子系统编码外的其他信息随机生成序列，测试集相关激励生成模块根据固定测试程序产生对应序列，将激励序列发给待测核心子系统和核心子系统监听单元。
3.如权利要求1所述的一种基于UVM的多处理器芯粒缓存一致性验证模组，其特征在于，所述外设访存激励生成单元生成激励序列的信息包括编码、操作码、地址、粒度、数据；其中所述编码为芯粒号和设备号。
4.如权利要求1所述的一种基于UVM的多处理器芯粒缓存一致性验证模组，其特征在于，所述核心子系统监听单元还包括缓存一致性事务监听模块、三级缓存目录模块、三级缓存模型、激励输入模块、总线事务处理模块和比较模块；>
5.如权利要求1所述的一种基于UVM的多处理器芯粒缓存一致性验证模组，其特征在于，所述内存一致性监听单元还包括内存一致性事务监听模块、内存模型、总线事务模块和比较模块；
6.如权利要求1所述的一种基于UVM的多处理器芯粒缓存一致性验证模组，其特征在于，所述日志生成器处理核心子系统监听单元和内存一致性监听单元输出的缓存比较结果和性能计数结果，将整合后的日志信息打印显示。
7.一种基于UVM的多处理器芯粒缓存一致性验证方法，其特征在于，包括如下步骤：
...【技术特征摘要】
1.一种基于uvm的多处理器芯粒缓存一致性验证模组，其特征在于，包括：
2.如权利要求1所述的一种基于uvm的多处理器芯粒缓存一致性验证模组，其特征在于，所述核心激励生成单元还包括随机激励生成模块与测试集相关激励生成模块；所述核心激励生成单元生成激励序列的信息包括待测核心子系统编码、操作码、地址、粒度、数据；其中所述编码为芯粒号、核心号和线程号；每个核心子系统对应一个核心激励生成单元，随机激励生成模块对除核心子系统编码外的其他信息随机生成序列，测试集相关激励生成模块根据固定测试程序产生对应序列，将激励序列发给待测核心子系统和核心子系统监听单元。
3.如权利要求1所述的一种基于uvm的多处理器芯粒缓存一致性验证模组，其特征在于，所述外设访存激励生成单元生成激励序列的信息包括编码、操作码、地址、粒度、数据；其...
【专利技术属性】
技术研发人员：王亚军，李俊龙，韩赛飞，毕立强，赵达，
申请(专利权)人：中电科申泰信息科技有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。