期刊文献+
共找到19篇文章
< 1 >
每页显示 20 50 100
基于AADL的分布式综合模块化航电系统架构建模与分析 被引量:6
1
作者 邢亮 《电光与控制》 CSCD 北大核心 2020年第2期64-69,97,共7页
针对分布式综合模块化航空电子(DIMA)系统设计的早期验证问题,分析了架构分析与设计语言(AADL)和DIMA架构特征,以项目架构设计实例为输入,对DIMA系统进行了架构和模块间通信建模。在此基础上,对实例中的处理器资源利用率、分区/任务的... 针对分布式综合模块化航空电子(DIMA)系统设计的早期验证问题,分析了架构分析与设计语言(AADL)和DIMA架构特征,以项目架构设计实例为输入,对DIMA系统进行了架构和模块间通信建模。在此基础上,对实例中的处理器资源利用率、分区/任务的可调度性进行了分析,对模块间通信进行了模拟,验证了架构设计实例的可行性。 展开更多
关键词 分布式综合模块化航空电子 架构分析设计语言 可调度性 架构设计
在线阅读 下载PDF
系统架构描述语言AADL的功能行为建模扩展 被引量:2
2
作者 许金淼 杨志斌 +2 位作者 黄志球 谢健 周勇 《计算机科学与探索》 CSCD 北大核心 2019年第10期1638-1653,共16页
架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。AADL通过行为附件以状态机的形式对组件的内部行为建模。工业界中的复杂系统常使用层次自动机描述组件的功能行为,而行为... 架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。AADL通过行为附件以状态机的形式对组件的内部行为建模。工业界中的复杂系统常使用层次自动机描述组件的功能行为,而行为附件中没有表达层次自动机的机制。针对这一问题,提出了AADL行为附件的层次化扩展——HBA。首先给出了HBA的形式语法,然后定义了HBA的操作语义。提出了HBA的元模型,并在OSATE环境中实现其文本和图形化编辑器。为了便于形式化验证,给出了HBA到时间自动机(TA)的转换规则,并基于模型检测工具UPPAAL进行形式化验证。最后,给出一个案例研究来验证所提方法的有效性。 展开更多
关键词 安全关键系统 架构分析设计语言(aadl) 层次行为附件(HBA) 功能规约
在线阅读 下载PDF
基于AADL的综合模块化航空电子通信调度分析与建模 被引量:2
3
作者 孙毅刚 李浩 +1 位作者 赵珍 樊智勇 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2015年第4期497-507,共11页
针对具有最终配置信息的综合模块化航空电子(Integtated modular avionics,IMA)系统的通信调度问题,分析了IMA系统网络中通信调度流的产生、特性以及表示方式,并通过实例分析通信调度的生成表示过程。在此基础上,基于架构分析与设计语言... 针对具有最终配置信息的综合模块化航空电子(Integtated modular avionics,IMA)系统的通信调度问题,分析了IMA系统网络中通信调度流的产生、特性以及表示方式,并通过实例分析通信调度的生成表示过程。在此基础上,基于架构分析与设计语言(Architecture analysis and design language,AADL),对实例中的通信流进行建模,并进行实例化,得到端口连接一致性检测报告,验证了文中通信流模型的可行性和有效性。 展开更多
关键词 综合模块化航空电子 通信调度 通信流 架构分析设计语言
在线阅读 下载PDF
软硬件综合AADL可靠性建模及分析方法 被引量:5
4
作者 陆寅 秦树东 +1 位作者 郭鹏 董云卫 《软件学报》 EI CSCD 北大核心 2022年第8期2995-3014,共20页
目前嵌入式系统广泛应用于航空电子、远程医疗、汽车电子等具有高可靠性要求的系统中.随着嵌入式系统的复杂度越来越高,为了保障系统的高可靠性需求,需要在系统开发的早期设计阶段对系统的可靠性进行分析评估,以提高系统的开发效率.嵌... 目前嵌入式系统广泛应用于航空电子、远程医疗、汽车电子等具有高可靠性要求的系统中.随着嵌入式系统的复杂度越来越高,为了保障系统的高可靠性需求,需要在系统开发的早期设计阶段对系统的可靠性进行分析评估,以提高系统的开发效率.嵌入式系统中软硬件功能的失效都会对系统可靠性产生影响,而AADL的可靠性模型缺乏对硬件构件错误的影响及传播机制进行刻画分析的能力.综合考虑软硬件错误发生失效后对系统可靠性的影响,提出了一种面向系统架构级别的软硬件综合可靠性分析方法.该方法基于电子电路设计中事务级建模方法,扩展了AADL事务级错误模型的语法和语义,来支持AADL对硬件构件错误传播的硬件功能行为建模,在此基础上,利用AADL模型实例化机制实现对嵌入式系统可靠性建模,刻画了错误行为在硬件构件之间、软硬件构件之间的传播与影响.同时,定义了AADL硬件构件事务级错误模型到广义随机Petri网模型的映射规则,实现了系统软硬件综合的可靠性行为仿真计算模型组合,支持嵌入式系统的软硬件综合可靠性分析.开发了软硬件综合可靠性建模与分析工具原型,并以某型飞机空气增压系统为例,在航空电子系统架构设计中进行尝试,验证了该方法在复杂嵌入式系统设计中进行软硬件综合可靠性分析的可行性与优越性. 展开更多
关键词 架构分析设计语言 复杂嵌入式系统 事务级错误模型 软硬件综合 可靠性分析
在线阅读 下载PDF
面向AADL模型的存储资源约束可调度性分析 被引量:1
5
作者 陆寅 秦树东 +1 位作者 习乐琪 董云卫 《软件学报》 EI CSCD 北大核心 2021年第6期1663-1681,共19页
嵌入式实时系统在安全关键领域变得越来越重要,其广泛应用于航空航天、汽车电子等具有严格时间约束的实时系统中.随着嵌入式系统的复杂度越来越高,在系统开发的早期设计阶段就需要对其可调度性进行分析评估.系统中的存储资源会对可调度... 嵌入式实时系统在安全关键领域变得越来越重要,其广泛应用于航空航天、汽车电子等具有严格时间约束的实时系统中.随着嵌入式系统的复杂度越来越高,在系统开发的早期设计阶段就需要对其可调度性进行分析评估.系统中的存储资源会对可调度性产生一定影响,在抢占式实时嵌入式系统引入缓存后,任务的最坏执行时间可能发生变化.因此,分析缓存相关抢占延迟对实时嵌入式系统的可调度性影响,一直以来是困扰大规模复杂系统架构设计的一个技术难题.提出一种面向软件架构级别、基于抢占调度序列的缓存相关抢占延迟计算方法,用来分析缓存相关抢占延迟约束下AADL(架构分析和设计语言)模型的可调度性.扩展了AADL关于存储资源架构设计的模型元素,来支持对缓存属性进行建模,提出一种基于模型构件进行抢占序列排序、缓存相关抢占延迟时间计算和被抢占任务最坏执行时间的估算方法,来对系统架构各功能构件在共享系统存储资源下系统的可调度性进行分析.还实现了分析缓存相关抢占延迟约束下的系统任务可调度性分析工具原型,并以某型飞机机载开放式智能信息系统为例,在航空电子系统架构设计中进行尝试,验证了该方法的在复杂系统设计中的对实时性分析的可行性. 展开更多
关键词 软件架构分析设计语言aadl 复杂嵌入式系统 缓存相关抢占延迟 资源约束的可调度性
在线阅读 下载PDF
基于MDA的C^4ISR系统分析设计方法 被引量:1
6
作者 张耀鸿 吴旭 罗雪山 《火力与指挥控制》 CSCD 北大核心 2010年第11期29-32,共4页
先进的分析设计方法是提高C4ISR系统开发质量的有效手段。基于软件领域的MDA思想,提出了基于MDA的C4ISR系统分析设计方法,研究了其开发过程和关键技术。该方法实现以模型为基础的系统开发与优化,通过不同阶段模型的转化演进来推进系统... 先进的分析设计方法是提高C4ISR系统开发质量的有效手段。基于软件领域的MDA思想,提出了基于MDA的C4ISR系统分析设计方法,研究了其开发过程和关键技术。该方法实现以模型为基础的系统开发与优化,通过不同阶段模型的转化演进来推进系统的分析设计,有利于提高系统的设计质量,并支持模型重用。 展开更多
关键词 C4ISR系统 分析设计 模型驱动架构 系统建模语言
在线阅读 下载PDF
基于时间自动机的AADL端到端流的延迟分析 被引量:1
7
作者 连小利 张莉 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2015年第8期1451-1463,共13页
对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流... 对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流语义,分析精确度高,但耗时且低效;自动化方法虽有较高的效率,但在延迟属性的覆盖度及语义精细度上都远远不足,导致分析结果精确度低.另外,这两类方法多只关注于最坏情况等典型场景,而无法分析不确定因素的影响.本文提出一种基于时间自动机的端到端流延迟分析方法,首先总结端到端流延迟的影响属性,并建立延迟属性的元模型,在此基础上提出面向流延迟分析的时间自动机模型生成方法,通过对时间自动机的仿真实现流延迟的分析.最后通过案例说明了该方法能够正确表达流的传输语义及延迟属性语义,即有足够的表达能力;展示了方法能灵活分析多样交互场景以及随机时间因素,即有灵活的分析能力;另外仿真过程的状态变迁及时间变量变化过程也为改进设计模型提供依据与建议. 展开更多
关键词 体系结构分析设计语言(aadl) 实时性 延迟分析 端到端流 时间自动机
在线阅读 下载PDF
基于UML的软件需求分析和设计 被引量:5
8
作者 田茵 《实验技术与管理》 CAS 2004年第5期74-79,共6页
统一建模语言UML(Unified Modeling Language)是面向对象软件开发的重要新技术,本文阐述了UML的特点、UML架构、软件需求分析原则及UML对软件建模的意义,并给出了UML技术在软件需求分析和设计阶段的成功应用.
关键词 统一建模语言UML 软件需求分析 面向对象软件 软件建模 架构 设计阶段 开发 技术 原则 成功
在线阅读 下载PDF
AADL建模工具的设计 被引量:3
9
作者 侯永 吴晓 张凡 《计算机工程》 CAS CSCD 2012年第20期236-238,242,共4页
设计一种架构分析与设计语言(AADL)建模工具,便于用户建立AADL模型。基于模型驱动体系结构思想,在Eclipse插件开发平台上开发可扩展的插件集合AADL模型设计工具。用户根据该工具建立的嵌入式系统AADL架构模型,通过XML文档保存,分析与验... 设计一种架构分析与设计语言(AADL)建模工具,便于用户建立AADL模型。基于模型驱动体系结构思想,在Eclipse插件开发平台上开发可扩展的插件集合AADL模型设计工具。用户根据该工具建立的嵌入式系统AADL架构模型,通过XML文档保存,分析与验证工具以第三方插件的形式集成到该工具中,提取系统的AADL架构模型。通过应用实例验证了该工具的有效性。 展开更多
关键词 嵌入式系统 架构分析设计语言 模型驱动体系结构 元模型 对象 ECLIPSE插件
在线阅读 下载PDF
采用AADL的软件系统可靠性建模与评估方法 被引量:6
10
作者 高金梁 张刚 +2 位作者 经小川 陈星 张辉 《计算机科学与探索》 CSCD 2011年第10期942-952,共11页
结构分析与设计语言(architecture analysis and design language,AADL)是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。针对系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显突出的问题,给出了一个基于AADL的软件... 结构分析与设计语言(architecture analysis and design language,AADL)是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。针对系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显突出的问题,给出了一个基于AADL的软件系统可靠性建模与评估框架:首先建立AADL可靠性模型,然后将其转换为广义随机Petri网(generalized stochastic Petri net,GSPN)模型后再进行分析,最后根据分析结果判断是否需要进行模型改进。在研究已有的基本转换规则的基础上,重点讨论了系统中组件之间错误传播以及表示系统发生模式转换的Guard_Transition属性到GSPN的转换规则。以某飞行控制系统中数据发送和处理单元为实例,验证了所提转换规则和可靠性建模与评估框架的有效性。 展开更多
关键词 结构分析设计语言(aadl) 错误模型附件(EMA) 广义随机Petri网(GSPN) 转换规则 可靠性 模型改进
在线阅读 下载PDF
模型驱动的开放式结构悬挂物管理系统设计方法 被引量:4
11
作者 冯金富 刘安 +1 位作者 左伟 梁晓龙 《空军工程大学学报(自然科学版)》 CSCD 北大核心 2010年第4期1-5,共5页
开放式结构悬挂物管理系统是机载悬挂物管理系统的发展方向,可以将武器的设计与具体实现相分离,实现武器集成的松耦合。提出基于模型驱动的开放式结构悬挂物管理系统设计方法,采用UML设计平台无关模型,采用AADL设计平台相关模型,论述了... 开放式结构悬挂物管理系统是机载悬挂物管理系统的发展方向,可以将武器的设计与具体实现相分离,实现武器集成的松耦合。提出基于模型驱动的开放式结构悬挂物管理系统设计方法,采用UML设计平台无关模型,采用AADL设计平台相关模型,论述了基于UML Profile的UML模型到AADL模型的转换方法,最后,以一个设计实例描述了该方法的设计过程。结果表明:基于模型驱动的开发方法为开放式结构悬挂物管理系统的设计提供了有效的解决方案,实现了系统设计与平台实现的分离。 展开更多
关键词 模型驱动架构 开放式结构 统一建模语言 UML扩展机制 体系结构分析设计语言
在线阅读 下载PDF
一种AADL系统可靠性模型转换方法 被引量:6
12
作者 高磊 董云卫 +1 位作者 张凡 王广仁 《计算机工程》 CAS CSCD 北大核心 2011年第14期21-26,共6页
在原有构件依赖关系的基础上,提出一种架构分析与设计语言(AADL)系统可靠性模型的转换方法。该方法对AADL嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(GSPN)可靠性计算模型的转换。研究表明,该方法使AADL可... 在原有构件依赖关系的基础上,提出一种架构分析与设计语言(AADL)系统可靠性模型的转换方法。该方法对AADL嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(GSPN)可靠性计算模型的转换。研究表明,该方法使AADL可靠性模型向GSPN模型的转换规则更加完备,能对嵌入式系统的可靠性进行准确与全面的分析与评估。 展开更多
关键词 架构分析设计语言 广义随机PETRI网 可靠性模型 模型装换规则 可靠性评估
在线阅读 下载PDF
AADL2ECPN模型转换方法及其在IMA上的应用 被引量:4
13
作者 刘畅 谷涛 +2 位作者 周庆 王世海 李泽林 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2016年第9期1884-1891,共8页
在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,... 在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。 展开更多
关键词 架构分析和设计语言(aadl) 着色Petri网(CPN) 资源分配 综合模块化航空电子(IMA) 模型转换
在线阅读 下载PDF
基于AADL的综合航电分区系统可调度性判定 被引量:5
14
作者 袁翔 胡军 +1 位作者 马金晶 刘雪 《计算机工程》 CAS CSCD 2014年第10期52-60,共9页
综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的... 综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的分区任务集可调度性判定方法。借助Cheddar工具及其自定义调度策略功能,使架构分析和设计语言(AADL)具有对分区系统进行建模的能力,并利用该工具对AADL模型进行仿真以判定系统的可调度性。实例分析结果表明,该方法能自动、准确、快速地进行可调度性判定,并以甘特图的方式绘制任务调度过程,得到直观、详细的结果。 展开更多
关键词 综合模块化航电 ARINC653 系统 分区系统 架构分析和设计语言 Cheddar工具 可调度性判定 仿真方法
在线阅读 下载PDF
基于AADL的IoP系统可靠性评估方法 被引量:2
15
作者 施小东 勉治宝 高亚晴 《计算机工程》 CAS CSCD 北大核心 2022年第1期204-213,共10页
人联网(IoP)系统的架构复杂且存在海量、实时变化的数据,使得基于IoP系统的可靠性分析变得十分困难,目前仍缺乏一种健全的基于IoP系统的可靠性建模及评估方法。提出一种新型的IoP系统可靠性评估方法,利用AADL及其附件语言对IoP系统进行... 人联网(IoP)系统的架构复杂且存在海量、实时变化的数据,使得基于IoP系统的可靠性分析变得十分困难,目前仍缺乏一种健全的基于IoP系统的可靠性建模及评估方法。提出一种新型的IoP系统可靠性评估方法,利用AADL及其附件语言对IoP系统进行可靠性建模,并基于该模型从定性角度评估系统故障的根本原因和风险。此外,结合Ocarina模型转换技术提出一种基于连续时间马尔科夫链(CTMC)的定量评估算法,将AADL可靠性模型转换为CTMC模型,实现对系统动态、实时等特性的评估。在此基础上,设计一个IoP系统通用模型,并以此为案例验证所提方法的可行性。实验结果表明,该方法不仅能对IoP系统建模,而且能自动、准确地对其进行可靠性分析,具有良好的应用价值。 展开更多
关键词 人联网 架构分析设计语言 可靠性建模及分析 连续时间马尔科夫链 Ocarina模型转换
在线阅读 下载PDF
面向服务的分析方法
16
作者 董文莉 《计算机工程与设计》 北大核心 2017年第6期1673-1680,共8页
在分析OOAD方法的基础上,通过改进OOAD,提出适用于面向服务软件的系统的分析流程。基于SOA的结构特征,研究服务流程分析和服务组件分析过程,基于所提3个视点分析Web服务组合的数据流,利用XML和HPN的描述方法、成熟技术和分析工具,采用XM... 在分析OOAD方法的基础上,通过改进OOAD,提出适用于面向服务软件的系统的分析流程。基于SOA的结构特征,研究服务流程分析和服务组件分析过程,基于所提3个视点分析Web服务组合的数据流,利用XML和HPN的描述方法、成熟技术和分析工具,采用XML和HPN作为描述语言和工具。探讨面向服务分析过程的服务模型,提供一个实际应用展示面向服务的分析过程。 展开更多
关键词 面向对象的分析和设计 面向服务体系架构 面向服务分析 高级PETRI网 业务流程执行语言
在线阅读 下载PDF
飞机座舱压力自动调节系统可靠性研究 被引量:5
17
作者 王鹏 刘锐 +1 位作者 田毅 赵长啸 《科学技术与工程》 北大核心 2014年第33期300-307,317,共9页
飞机座舱压力自动调节系统用于在高空环境中调整座舱内部压力,其可靠性直接关系机上人员的安全。针对座舱压力自动调节系统的复杂冗余结构及故障发生的随机性,提出了基于体系结构分析及设计语言(AADL)及广义随机Petri网(GSPN)的可靠性... 飞机座舱压力自动调节系统用于在高空环境中调整座舱内部压力,其可靠性直接关系机上人员的安全。针对座舱压力自动调节系统的复杂冗余结构及故障发生的随机性,提出了基于体系结构分析及设计语言(AADL)及广义随机Petri网(GSPN)的可靠性分析方法。首先采用AADL语言对系统的架构及相关部件的故障信息进行描述建立系统AADL可靠性模型;为了进一步分析系统故障动态行为,研究了AADL可靠性模型向GSPN转化规则,通过对GSPN模型分析,得到系统可靠性。最后,通过实验的方法对比分析了3种不同架构下的系统可靠性,给出了系统架构的选择建议。 展开更多
关键词 座舱压力调节系统 体系结构分析设计语言(aadl) 广义随机Petri网(GSPN) 可靠性
在线阅读 下载PDF
基于形式化方法的DIMA动态重构仿真与验证 被引量:5
18
作者 刘嘉琛 董磊 +1 位作者 赵长啸 陈泓兵 《系统工程与电子技术》 EI CSCD 北大核心 2022年第4期1282-1290,共9页
针对可重构分布式综合模块化航空电子(distributed integrated modular avionics,DIMA)系统在设计初期缺少仿真与验证手段的问题,首先分析了可重构DIMA软件体系的架构特征以及支持动态重构的层次化通用系统管理(generic system manageme... 针对可重构分布式综合模块化航空电子(distributed integrated modular avionics,DIMA)系统在设计初期缺少仿真与验证手段的问题,首先分析了可重构DIMA软件体系的架构特征以及支持动态重构的层次化通用系统管理(generic system management,GSM)的组件功能划分。然后,使用架构分析与设计语言(architecture analysis and design language,AADL)及其相关附件对DIMA动态重构的架构基础、行为细节等要素进行建模。在此基础上,设计了一种基于形式化定义的模型转换规则,该规则将AADL动态重构模型转换成可执行的时间自动机模型。最后,利用模型验证工具UPPAAL验证了可重构DIMA系统逻辑及时序的正确性和不安全控制行为的可达性。结果表明,所提方法具有可行性和有效性,并且能够为后续DIMA动态重构的形式化安全性评估提供模型基础。 展开更多
关键词 分布式综合模块化航空电子 动态重构 架构分析设计语言 形式化方法 仿真验证
在线阅读 下载PDF
基于数据流的SoC性能建模方法及实现 被引量:1
19
作者 孟昕 沈海斌 严晓浪 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2011年第2期314-322,共9页
针对传统基于模块描述建模方法在性能估算和验证的精确性、灵活性和设计迭代方面的不足,围绕资源分配、性能参数标注和仲裁算法指定等,提出基于事务数据流的系统芯片(SoC)性能建模方法.该方法通过加入Sys-temC的时序控制机制的TDFLib的... 针对传统基于模块描述建模方法在性能估算和验证的精确性、灵活性和设计迭代方面的不足,围绕资源分配、性能参数标注和仲裁算法指定等,提出基于事务数据流的系统芯片(SoC)性能建模方法.该方法通过加入Sys-temC的时序控制机制的TDFLib的C++泛型库,以及描述SoC系统模型的性能建模语言(PML)的域特定语言来实现.PML源文件可生成包含TDFLib调用的C++代码,再经过编译并与可复用仿真程序框架链接得到可执行的系统性能分析模型.该模型在SystemC内核控制下进行周期精确的仿真,运行结果保存在MySQL数据库中.结果表明该性能建模方法能够提高架构设计与分析的效率. 展开更多
关键词 集成电路 事务数据流 性能分析建模 设计空间探查 架构设计 域特定语言
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部