-
公开(公告)号：CN102789418B
公开(公告)日：2015-09-30
申请号：CN201210214968.5
申请日：2012-06-27
Applicant: 北京大学深圳研究生院
IPC: G06F11/36
Abstract: 本申请公开了一种处理器功能仿真模型生成装置，包括寄存器配置模块、指令集配置模块、输入处理单元生成模块、功能仿真单元生成模块、仿真结果配置模块、仿真结果输出单元生成模块和指令功能库。采用本申请提供的生成装置可自动生成满足仿真功能需要的功能仿真模型，避免了完全手工开发导致大量错误的可能性；同时，采用本申请的自动生成方法也大大节省了功能仿真模型的开发时间。
-
Patent Agency Ranking
公开(公告)号：CN102788950B
公开(公告)日：2014-10-01
申请号：CN201210214949.2
申请日：2012-06-27
Applicant: 北京大学深圳研究生院
IPC: G06F17/50
Abstract: 本申请公开了一种周期精确转换器及其集成电路验证方法和系统，本申请中周期精确转换器将非周期精确的功能参考模型产生的执行结果进行周期标注、填充和排序,得到周期精确的结果。将周期精确转换器的执行结果与周期精确的设计实现输出的执行结果进行对比，这样可以实现很好的错误定位以缩短对周期精确的设计实现的验证时间。
-
公开(公告)号：CN102789521B
公开(公告)日：2014-10-15
申请号：CN201210215504.6
申请日：2012-06-27
Applicant: 北京大学深圳研究生院
IPC: G06F17/50
Abstract: 本申请公开了一种采用流水线模型对集成电路流水线设计进行验证的方法。其首先对流水线模型的完备性和正确性进行验证，流水线模型验证通过后，可来验证集成电路流水线设计。而在该流水线模型的验证中，通过预先设计各级流水状态断言，其次实时检测各级流水输出的状态值，进而判断是否出现违反断言来验证。一旦流水线模型的设计出错则会出现违反断言的情况，如此则可直接验证与违反断言的流水中模型单元相关的各级流水及模型单元，即直接将出错的地方定位到具体的某级或某些级流水的模型单元中，不需要验证所有的流水线模型中的全部单元，提高了纠错效率。
-
公开(公告)号：CN102789521A
公开(公告)日：2012-11-21
申请号：CN201210215504.6
申请日：2012-06-27
Applicant: 北京大学深圳研究生院
IPC: G06F17/50
Abstract: 本申请公开了一种采用流水线模型对集成电路流水线设计进行验证的方法。其首先对流水线模型的完备性和正确性进行验证，流水线模型验证通过后，可来验证集成电路流水线设计。而在该流水线模型的验证中，通过预先设计各级流水状态断言，其次实时检测各级流水输出的状态值，进而判断是否出现违反断言来验证。一旦流水线模型的设计出错则会出现违反断言的情况，如此则可直接验证与违反断言的流水中模型单元相关的各级流水及模型单元，即直接将出错的地方定位到具体的某级或某些级流水的模型单元中，不需要验证所有的流水线模型中的全部单元，提高了纠错效率。
-
公开(公告)号：CN102788950A
公开(公告)日：2012-11-21
申请号：CN201210214949.2
申请日：2012-06-27
Applicant: 北京大学深圳研究生院
IPC: G01R31/28
Abstract: 本申请公开了一种周期精确转换器及其集成电路验证方法和系统，本申请中周期精确转换器将非周期精确的功能参考模型产生的执行结果进行周期标注、填充和排序,得到周期精确的结果。将周期精确转换器的执行结果与周期精确的设计实现输出的执行结果进行对比，这样可以实现很好的错误定位以缩短对周期精确的设计实现的验证时间。
-
公开(公告)号：CN102789418A
公开(公告)日：2012-11-21
申请号：CN201210214968.5
申请日：2012-06-27
Applicant: 北京大学深圳研究生院
IPC: G06F11/36
Abstract: 本申请公开了一种处理器功能仿真模型生成装置，包括寄存器配置模块、指令集配置模块、输入处理单元生成模块、功能仿真单元生成模块、仿真结果配置模块、仿真结果输出单元生成模块和指令功能库。采用本申请提供的生成装置可自动生成满足仿真功能需要的功能仿真模型，避免了完全手工开发导致大量错误的可能性；同时，采用本申请的自动生成方法也大大节省了功能仿真模型的开发时间。
-
-
-
-
-
Search Results
6
records
(took 0.028 seconds)
