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

说明书

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

技术领域

本发明涉及芯片验证领域，特别是涉及芯片软硬件协同仿真验证中CPU执行软件与验证平台激励之间的双向同步方法。

背景技术

在当前芯片的集成验证中，往往需要在芯片内部CPU中执行软件和外部验证平台的激励进行配合来验证芯片的功能等。例如，某验证用例中，内部CPU执行软件对芯片进行配置，之后验证平台需要在芯片管脚给予一定的激励，激励完成之后，CPU要检查芯片对激励的处理是否符合预期。上例中，软硬件的交互过程，在无法进行同步的情况下，都需要等足够长的时间，这样做不但效率低，并且由于等待时间不确定，容易导致验证出错。因此，为提高效率，保障验证的正确性，需要在软硬件协同仿真时，进行双向同步。

发明内容

针对以上缺点，本发明的目的在于验证过程中进行软件与验证平台的双向同步，当CPU软件需要验证平台给予激励时，同步验证平台进行激励；当验证平台需要CPU软件检查芯片状态正确性或进行芯片配置时，同步CPU软件进行检查和配置。

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

所述的芯片软硬件协同仿真验证的双向同步方法，其特征在于CPU程序包括改写同步用寄存器内数值的功能，同步用存储器单元查询功能，存储器数值解码功能，以及软件事件组成软件事件库。并可以根据存储器单元数值的解码结果，调用软件事件库中的事件。

所述的芯片软硬件协同仿真验证的双向同步方法，其特征在于验证平台包括存储器后门操纵模块，可以后门改写同步用存储器单元的数值。验证平台还包含监控模块，解码调用模块，以及硬件事件组成硬件事件库。监控模块监控同步用寄存器数值的变化，解码调用模块对同步用寄存器的值进行解码，并根据解码结果调用硬件事件库中的事件。

所述的芯片软硬件协同仿真验证的双向同步方法，其特征在于作为同步器的寄存器或者存储器单元，都来自待测芯片自身，因此需要选取使用频率非常低的寄存器和存储器单元，并且测试用例编写时需要规避作为同步器的寄存器或者存储器单元。

本发明中，验证平台能够实时监测待验证芯片中CPU软件执行的状态，而待测芯片CPU的软件可以实时查询验证平台的执行状态，以此来实现双向同步，适用于构造内部软件与外部验证平台协同执行的复杂验证用例。大大减轻验证人员的负担。

附图说明