首页> 中国专利> 一种基于抽象解释的嵌入式软件模块化Cache行为分析方法

一种基于抽象解释的嵌入式软件模块化Cache行为分析方法

页面导航

摘要
著录项
相似文献

摘要

本发明公开了一种基于抽象解释的嵌入式软件模块化Cache行为分析方法，属于计算机技术领域，包括：Cache行为分析框架形式化描述，以抽象解释理论为分析方法设计基础，对Cache行为执行过程进行抽象建模，对Cache架构和分析方法进行关联分析，形式化定义Cache行为分析过程；Cache行为分析框架实现，构建模块化分析框架以支持多种不同架构的Cache行为分析，达到Cache分析过程可重用的目的。本发明构建模块化分析框架以支持多种不同架构的Cache行为分析，确定Cache配置、分析方法和过程间的关系，提出了各层次间的阶段划分结构，构建了独立于Cache机制的Cache行为分析框架。

著录项

公开/公告号CN108845938B

专利类型发明专利
公开/公告日2021-04-30

原文格式PDF
申请/专利权人南京航空航天大学;
展开▼

申请/专利号CN201810592511.5
发明设计人黄志球;张静;喻垚慎;沈国华;李伟湋;艾磊;
展开▼

申请日2018-06-11
分类号G06F11/36(20060101);
代理机构32231 常州佰业腾飞专利代理事务所(普通合伙);
代理人王清
地址 211106 江苏省南京市江宁区南京航空航天大学将军路校区计算机科学与技术学院
入库时间 2022-08-23 11:43:16

相似文献

专利
中文文献
外文文献

1. 一种基于抽象解释的嵌入式软件模块化Cache行为分析方法 [P] . 中国专利： CN108845938B . 2021.04.30
2. 一种基于抽象解释的嵌入式软件模块化Cache行为分析方法 [P] . 中国专利： CN108845938A . 2018-11-20
3. METHOD OF ANALYSING BEHAVIOUR OF AN INTEGRATED CIRCUIT IMPLEMENTED BY COMPUTER AND COMPRISING THE SELECTING OF PATHS ON THE BASIS OF SEVERAL CRITERIA BELONGING TO DIFFERENT TYPES [P] . 美国专利： US2016203249A1 . 2016-07-14

机译：一种计算机实现的综合电路的行为分析方法，包括基于不同类型的若干准则的路径选择
4. METHOD OF ANALYSING BEHAVIOUR OF AN INTEGRATED CIRCUIT IMPLEMENTED BY COMPUTER AND COMPRISING THE SELECTING OF PATHS ON THE BASIS OF SEVERAL CRITERIA BELONGING TO DIFFERENT TYPES [P] . 欧洲知识产权局专利： EP3042321A1 . 2016-07-13

机译：一种计算机实现的综合电路的行为分析方法，包括基于不同类型的若干准则的路径选择
5. METHOD OF ANALYSING BEHAVIOUR OF AN INTEGRATED CIRCUIT IMPLEMENTED BY COMPUTER AND COMPRISING THE SELECTING OF PATHS ON THE BASIS OF SEVERAL CRITERIA BELONGING TO DIFFERENT TYPES [P] . 世界知识产权组织专利： WO2015032830A1 . 2015-03-12

机译：一种计算机实现的综合电路的行为分析方法，包括基于不同类型的若干准则的路径选择