一种周期精确转换器及其集成电路验证方法和系统

摘要

本申请公开了一种周期精确转换器及其集成电路验证方法和系统，本申请中周期精确转换器将非周期精确的功能参考模型产生的执行结果进行周期标注、填充和排序,得到周期精确的结果。将周期精确转换器的执行结果与周期精确的设计实现输出的执行结果进行对比，这样可以实现很好的错误定位以缩短对周期精确的设计实现的验证时间。

主权项

一种周期精确转换器，其特征在于，包括：读入单元，用于读入非周期精确的功能参考模型输出的执行结果以及实际被执行的事务包或者指令；类型判定单元，从所述读入单元接收被非周期精确功能模型执行的事务包或者指令，判定每个事务包或指令的类型，然后输出带标识类型的事务包或者指令；情况区分单元，根据类型判定单元输出的带标识类型的事务包或者指令，结合周期精确的设计实现中的控制信号或者指示信号来判断区分当前工作时钟周期下验证环境的场景类型，所述场景类型包括特殊情况、中断情况、异常情况和一般情况；周期计算排序单元，根据情况区分单元输出的当前工作时钟周期下验证环境的场景类型以及当前工作时钟周期周期精确的设计实现提供的控制信号或者指示信号，对非周期精确的功能参考模型的执行结果进行周期标注、填充和排序，得到周期精确的执行结果；所述周期计算排序单元包括：第一周期计算排序单元，根据所述类型判定单元输出的带标识类型的事务包或者指令，假定周期精确的设计实现每个工作时钟周期下验证环境均为一般情况，对所述读入单元输出的所述执行结果以及实际被执行的事务包或者指令的执行结果，进行周期标注、填充和排序；第二周期计算排序单元，以第一周期计算排序单元输出的带有周期标注并排序、填充后的执行结果为基础，根据情况区分单元输出的当前工作时钟周期下验证环境的场景类型以及当前工作时钟周期周期精确的设计实现提供的控制信号或指示信号，对执行结果进一步进行周期标注、填充和排序。