公开(公告)号：CN102789521B

公开(公告)日：2014-10-15

申请号：CN201210215504.6

申请日：2012-06-27

Applicant: 北京大学深圳研究生院

Inventor： 谢峥 ,  周芝丽 ,  王新安 ,  李世军 ,  苏吉婷 ,  陈旭 ,  赵蕾 ,  张兴

IPC: G06F17/50

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

公开(公告)号：CN102789521A

公开(公告)日：2012-11-21

申请号：CN201210215504.6

申请日：2012-06-27

Applicant: 北京大学深圳研究生院

Inventor： 谢峥 ,  周芝丽 ,  王新安 ,  李世军 ,  苏吉婷 ,  陈旭 ,  赵蕾 ,  张兴

IPC: G06F17/50

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