-
公开(公告)号：CN119938430A
公开(公告)日：2025-05-06
申请号：CN202510041975.7
申请日：2025-01-10
Applicant: 西安微电子技术研究所
IPC: G06F11/26 , G06F11/3668
Abstract: 本发明公开了一种流水级指令的原型验证方法、装置、设备及介质，旨在于解决现有验证手段缺乏对数据关联性考虑的技术问题。该方法包括对处理器的指令集进行分类并生成测试用例以验证指令在流水线中的执行过程，并在硬件平台上执行生成的测试用例以验证指令流水线的实际执行情况。该方法能够全面考虑指令之间的数据相关性和控制相关性，有效发现和解决指令流水线设计中的数据冲突和控制冲突问题，提高验证的覆盖率和准确性。本发明还提供了一种流水级指令的原型验证装置、设备及计算机可读存储介质，以实现该方法的实际应用。
Search Results
1
records
(took 0.022 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
