一种验证多核心处理器缓存一致性的方法及装置制造方法及图纸

一种验证多核心处理器缓存一致性的方法及装置，该方法包括：自驱式核心模型监听待测核心向缓存一致性管理模块发送的第一数据读写请求，并记录与第一数据读写请求相关的内存地址；自驱式核心模型用于代替多核心处理器中除待测核心之外的其它处理器核心；针对每一被记录的内存地址，自驱式核心模型生成内存地址的第二数据读写请求；第二数据读写请求用于激励待测设计中与第二数据读写请求相关的缓存行的状态变化，由缓存一致性验证平台捕捉待测设计针对第二数据读写请求的处理结果，并根据处理结果进行缓存一致性验证；待测设计包括待测核心、缓存一致性管理模块以及核外共享缓存。存。存。

【技术实现步骤摘要】
一种验证多核心处理器缓存一致性的方法及装置


[0001]本申请涉及芯片验证
，尤其涉及一种验证多核心处理器缓存一致性的方法及装置。

技术介绍

[0002]在现代多核心处理器的开发过程中，多核心处理器的缓存一致性验证是重中之重，需要开发人员花费大量的时间和精力去编写测试向量并进行仿真分析。由于同一内存地址的数据可能不止缓存在于某一单颗处理器核心中，同时也可能缓存在其他处理器核心中，因此，为了避免各个处理器核心之间缓存的数据不一致的问题，需要在系统级对处理器核心和缓存一致性管理模块进行缓存一致性验证。
[0003]目前业界对多核处理器核心的缓存一致性验证方法是将包含所有处理器核心和缓存一致性管理模块在内的整个待测设计作为整体，输入测试激励（通常是汇编形式的固定或者随机激励），观察并比对仿真结果。此种方法的不足在于：1. 由于处理器核心本身的寄存器转换级电路(register transfer level，RTL)设计复杂度极高，因此对多核心处理器所有核心的 RTL 都做仿真会导致仿真速度很慢，效率很低。
[0004]2. 为了本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种验证多核心处理器缓存一致性的方法，其特征在于，所述方法包括：自驱式核心模型监听待测核心向缓存一致性管理模块发送的第一数据读写请求，并记录与所述第一数据读写请求相关的内存地址；所述自驱式核心模型用于代替多核心处理器中除所述待测核心之外的其它处理器核心；所述缓存一致性管理模块用于根据所述第一数据读写请求向所述待测核心之外的其它处理器核心和核外共享缓存查询是否缓存所述内存地址的数据，以及更改与所述第一数据读写请求相关的缓存行的状态变化；针对每一被记录的内存地址，所述自驱式核心模型生成所述内存地址的第二数据读写请求；所述第二数据读写请求用于激励待测设计中与所述第二数据读写请求相关的缓存行的状态变化，由缓存一致性验证平台捕捉所述待测设计针对所述第二数据读写请求的处理结果，并根据所述处理结果进行缓存一致性验证；所述待测设计包括所述待测核心、所述缓存一致性管理模块以及所述核外共享缓存。2.根据权利要求1所述的方法，其特征在于，所述方法还包括：对于未被记录的内存地址，所述自驱式核心模型随机生成针对所述未被记录的内存地址的第三数据读写请求；所述第三数据读写请求用于激励所述待测设计中与所述第三数据读写请求相关的缓存行的状态变化，由所述缓存一致性验证平台捕捉所述待测设计针对所述第三数据读写请求的处理结果，并根据所述处理结果进行缓存一致性验证。3.根据权利要求1所述的方法，其特征在于，所述方法还包括：任一自驱式核心模型对于所述缓存一致性管理模块的查询请求，返回的对应缓存行的状态为无效状态；任一自驱式核心模型内的各缓存行的状态不受所述缓存一致性管理模块的更改影响；所述查询请求是所述待测核心向所述缓存一致性管理模块发出所述第一数据读写请求，或其它自驱式核心模型向所述缓存一致性管理模块发出第二数据读写请求后，所述缓存一致性管理模块生成的。4.根据权利要求1所述的方法，其特征在于，针对每一被记录的内存地址，所述自驱式核心模型生成所述内存地址的第二数据读写请求，包括：针对每一被记录且未被激励验证的内存地址，所述自驱式核心模型在随机一段时间内，生成所述内存地址对应的第二数据读写请求；所述自驱式核心模型在监测与所述内存地址相关的缓存行的状态变化后，记录所述内存地址为已被激励验证；所述状态变化是根据缓存...

【专利技术属性】
技术研发人员：葛蕾，武文顺，
申请(专利权)人：上海芯联芯智能科技有限公司，
类型：发明
国别省市：