[发明专利]一种芯片软硬件协同仿真验证的双向同步方法

摘要

本发明公开了一种芯片软硬件协同仿真验证的双向同步方法，利用待验证芯片中一个寄存器，软件执行中通过CPU向该寄存器写入特定数据，验证平台实时监控该寄存器中数值的变化，将监控到该寄存器的某个值作为验证平台某个硬件事件的触发条件。芯片验证人员在开发CPU软件时，只需要在CPU软件中加入向该寄存器写数据的动作，就可以触发验证平台中该寄存器数值所对应的硬件事件，以实现软件到硬件的同步。利用待验证芯片中一个存储器单元，验证平台可以通过跨层次引用来改写该存储器单元的数值，CPU程序可以查询该存储器单元的数值，将查询到该存储器单元的某个值作为CPU程序中某软件事件的触发条件。芯片验证人员在开发验证用例时，只需要调用验证平台改写该存储器单元的数值，CPU软件就可以查询到该数值并触发该数值对应的软件事件，以实现硬件到软件的同步。本发明可以实现CPU程序(软件)与验证平台(硬件)之间双向实时同步，适用于构造复杂的芯片验证用例，减轻验证人员的编程负担。

主权项

1.一种芯片软硬件协同仿真验证的双向同步方法，其特征在于，主要步骤包括：在待验证芯片中选取一个寄存器作为同步用寄存器，将同步用寄存器的某个数值对应上验证平台中某个硬件事件；在待验证芯片内部执行CPU软件过程中，需要触发这个硬件事件的位置增加向同步用寄存器写事件对应数值的动作；验证平台上设有同步用寄存器数值监控模块，以及数据解码调用模块；验证平台中同步用寄存器数值监控模块检测到寄存器数值变化，就会将该数值送入数据解码调用模块，触发该值对应的硬件事件；在待验证芯片中选取一个存储器单元作为同步用存储器单元，将同步用存储器单元的某个值对应CPU软件程序中某个软件事件；在验证用例运行的过程中，需要触发某个软件事件的位置，增加使用验证平台的存储器后门操作模块，改写同步用存储器单元的数值的地址；CPU软件可以查询同步用存储器单元的数值，并根据数值触发相应的软件事件。