-
公开(公告)号：CN102789521B
公开(公告)日：2014-10-15
申请号：CN201210215504.6
申请日：2012-06-27
Applicant: 北京大学深圳研究生院
IPC: G06F17/50
Abstract: 本申请公开了一种采用流水线模型对集成电路流水线设计进行验证的方法。其首先对流水线模型的完备性和正确性进行验证，流水线模型验证通过后，可来验证集成电路流水线设计。而在该流水线模型的验证中，通过预先设计各级流水状态断言，其次实时检测各级流水输出的状态值，进而判断是否出现违反断言来验证。一旦流水线模型的设计出错则会出现违反断言的情况，如此则可直接验证与违反断言的流水中模型单元相关的各级流水及模型单元，即直接将出错的地方定位到具体的某级或某些级流水的模型单元中，不需要验证所有的流水线模型中的全部单元，提高了纠错效率。
-
公开(公告)号：CN102156655B
公开(公告)日：2014-04-02
申请号：CN201110115605.1
申请日：2011-05-05
Applicant: 北京大学深圳研究生院
IPC: G06F9/45
Abstract: 本发明公开了一种高级语言代码产生器及高级语言代码生成方法，通过将输入的EDA设计工具的语法支持情况描述信息和验证或测试策略分别转换为相应的语法配置表和控制约束表，再根据该语法配置表和控制约束表，调用相应的语法库构建语法树，再将该语法树转换为对应的可执行高级语言代码。由于构建的语法树满足语法配置表和控制约束表，保证了生成的高级语言代码的可执行性，并提高了代码的相关性，使得能够更自然地模拟实际算法代码，从而为保证各种EDA设计工具对各种代码描述的转换的正确性提供了优质的测试用例，且该测试用例可执行性良好，进而减轻了人工编写测试代码的压力。
-
公开(公告)号：CN102789418A
公开(公告)日：2012-11-21
申请号：CN201210214968.5
申请日：2012-06-27
Applicant: 北京大学深圳研究生院
IPC: G06F11/36
Abstract: 本申请公开了一种处理器功能仿真模型生成装置，包括寄存器配置模块、指令集配置模块、输入处理单元生成模块、功能仿真单元生成模块、仿真结果配置模块、仿真结果输出单元生成模块和指令功能库。采用本申请提供的生成装置可自动生成满足仿真功能需要的功能仿真模型，避免了完全手工开发导致大量错误的可能性；同时，采用本申请的自动生成方法也大大节省了功能仿真模型的开发时间。
-
Patent Agency Ranking
公开(公告)号：CN102156655A
公开(公告)日：2011-08-17
申请号：CN201110115605.1
申请日：2011-05-05
Applicant: 北京大学深圳研究生院
IPC: G06F9/45
Abstract: 本发明公开了一种高级语言代码产生器及高级语言代码生成方法，通过将输入的EDA设计工具的语法支持情况描述信息和验证或测试策略分别转换为相应的语法配置表和控制约束表，再根据该语法配置表和控制约束表，调用相应的语法库构建语法树，再将该语法树转换为对应的可执行高级语言代码。由于构建的语法树满足语法配置表和控制约束表，保证了生成的高级语言代码的可执行性，并提高了代码的相关性，使得能够更自然地模拟实际算法代码，从而为保证各种EDA设计工具对各种代码描述的转换的正确性提供了优质的测试用例，且该测试用例可执行性良好，进而减轻了人工编写测试代码的压力。
-
公开(公告)号：CN102789418B
公开(公告)日：2015-09-30
申请号：CN201210214968.5
申请日：2012-06-27
Applicant: 北京大学深圳研究生院
IPC: G06F11/36
Abstract: 本申请公开了一种处理器功能仿真模型生成装置，包括寄存器配置模块、指令集配置模块、输入处理单元生成模块、功能仿真单元生成模块、仿真结果配置模块、仿真结果输出单元生成模块和指令功能库。采用本申请提供的生成装置可自动生成满足仿真功能需要的功能仿真模型，避免了完全手工开发导致大量错误的可能性；同时，采用本申请的自动生成方法也大大节省了功能仿真模型的开发时间。
-
公开(公告)号：CN102788950B
公开(公告)日：2014-10-01
申请号：CN201210214949.2
申请日：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: 本申请公开了一种周期精确转换器及其集成电路验证方法和系统，本申请中周期精确转换器将非周期精确的功能参考模型产生的执行结果进行周期标注、填充和排序,得到周期精确的结果。将周期精确转换器的执行结果与周期精确的设计实现输出的执行结果进行对比，这样可以实现很好的错误定位以缩短对周期精确的设计实现的验证时间。
-
-
-
-
-
-
-
Search Results
8
records
(took 0.03 seconds)
