[发明专利]集成电路流水线设计验证方法、系统及其模型实现方法

摘要

本申请公开了一种采用流水线模型对集成电路流水线设计进行验证的方法。其首先对流水线模型的完备性和正确性进行验证，流水线模型验证通过后，可来验证集成电路流水线设计。而在该流水线模型的验证中，通过预先设计各级流水状态断言，其次实时检测各级流水输出的状态值，进而判断是否出现违反断言来验证。一旦流水线模型的设计出错则会出现违反断言的情况，如此则可直接验证与违反断言的流水中模型单元相关的各级流水及模型单元，即直接将出错的地方定位到具体的某级或某些级流水的模型单元中，不需要验证所有的流水线模型中的全部单元，提高了纠错效率。

主权项

一种采用流水线模型对集成电路流水线设计进行验证的方法，所述流水线模型包括根据集成电路流水线设计确定的至少二级流水单元，每级流水单元中至少包括一个模型单元，每个模型单元包括：后端接口，用于接收前一级流水单元输出的状态值和逻辑值；前端接口，用于将该模型单元的状态值和逻辑值输出到下一级模型单元；功能单元，用于对后端接口发来的逻辑值进行功能函数运算并输出逻辑值；内部控制单元，包括控制器和状态处理单元，所述控制器根据后端接口发来的数据和本身的控制逻辑输出选择信号，所述状态处理单元根据后端接口发来的数据和本身的状态处理逻辑输出状态值至前端接口；选择单元，根据控制器输出的选择信号，在功能单元输出的逻辑值、该模型单元的复位值、置位值和上一状态的逻辑值中进行择一输出至前端接口；其特征在于，所述方法包括：验证流水线模型的完备性和正确性；流水线模型验证通过后，利用该流水线模型验证流水线设计的正确性；所述验证流水线模型的完备性和正确性包括以下步骤：对流水线模型中各个模型单元的状态及其之间的关系进行声明，并预先设计各级流水状态断言；测例产生器产生验证激励，并按照时间顺序将验证激励发送到流水线模型，所述验证激励包括逻辑值和状态值；流水线模型的第一级流水接收测例产生器产生的验证激励，根据验证激励进行运算，输出本级的逻辑值和状态值到第二级流水；第二级流水根据上一级流水输出的逻辑值和状态值进行运算，输出本级逻辑值和状态值到下一级流水；依此类推；实时检测各级流水输出的状态值，根据预先设计的流水状态断言对流水线模型进行状态断言判断，判断是否出现违反断言的现象，若是则发出报告，认为流水线模型没有通过验证。