国家高技术研究发展计划(2003AA115110)
- 作品数:9 被引量:41H指数:4
- 相关作者:边计年吴为民薛宏熙吴强刘斌更多>>
- 相关机构:清华大学更多>>
- 发文基金:国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- HCDFG-II—面向C语言系统描述的控制/数据流图表示被引量:6
- 2004年
- 介绍了基于C语言系统描述的面向软硬件划分的一种中间表示———层次化控制 /数据流图HCDFG II及其转换方法 HCDFG II根据C语言的特点对HCDFG进行了扩充 ,通过引入内存访问结点来表示和处理C程序中的数组及指针 ,通过定义并发结构来表示C程序中的可并发部分 同时 ,由于HCDFG II采用以控制流为主的结构 ,从C语言进行转换十分容易 这使得它能有效地作为C语言系统描述的中间表示 。
- 牛亚文边计年吴强薛宏熙
- 关键词:软硬件划分层次化
- 基于抽象体系结构模板的多路软硬件划分算法被引量:12
- 2004年
- 随着系统芯片技术在嵌入式系统中的应用 ,软硬件划分从传统的二划分问题转化为多划分问题 文中对此提出了一个由通信通道连接的处理单元网络的抽象模型来描述多处理模块结构 ,并利用模拟退火算法与启发式的调度算法分别完成多路软硬件划分与系统性能和代价的估算 初步的实验结果表明 ,该算法能有效地选择合适的体系结构 。
- 吴强边计年薛宏熙
- 关键词:系统芯片嵌入式系统
- C语言系统描述的HCDFG-Ⅱ实现
- C语言是系统设计中一种主要的系统描述语言,在系统级软硬件协同验证以及随后的软硬件划分、接口综合和行为综合等中都需要把C语言的系统描述转化为控制数据流图.本文介绍了一种层次化控制数据流图HCDFG-Ⅱ模型,以及从C语言生成...
- 赵康边计年吴强薛宏熙
- 关键词:软硬件协同设计
- 软硬件划分中基于一种新的层次化控制数据流图的粒度变换被引量:5
- 2005年
- 在一种控制数据流图定义的基础上 ,提出了面向软硬件划分中粒度选择的粒度变换方法 变换以层次化结点为中介 ,包括合并和展开操作 ,并遵循所指定的若干要求以保证变换前后的系统表示在形式和功能上的一致性 分析表明 ,这一变换过程简单快速 ,变换前后功能一致、形式统一 。
- 吴强WangYun-feng王云峰边计年薛宏熙
- 关键词:软硬件划分
- 基于ARM的无线通信系统软硬件接口设计研究被引量:4
- 2004年
- 设计了一种基于高级精简指令集处理器核处理器的无线通信系统接口模型,叙述了硬件接口的定义及相应软件接口模块的实现.依照此模型,可以在一定程度上缩短无线通信系统的开发周期.最后,给出一个应用实例.
- 常兴刘斌
- 关键词:无线通信系统接口模型
- 基于CDFG和OVL的系统验证性质分类被引量:1
- 2005年
- 在数据控制流图(CDFG)结构的基础上,结合模拟验证和模型检测的优点,对需要验证的系统性质进行分类,采用不同的验证方法,提高验证的能力。通过对OVL语言和CTL描述进行改进,针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质,实验结果表明这种分治验证策略有助于提高系统验证的效率和规模。
- 朱明边计年吴为民
- HCDFG-Ⅱ—面向C语言系统描述的控制/数据流图表示
- 本文介绍了基于C语言系统描述的面向软硬件划分的一种中间表示,层次化控制/数据流图HCDFG-Ⅱ及其转换方法。HCDFG-Ⅱ根据C语言的特点对HCDFG进行了扩充,通过引入内存访问结点来表示和处理C程序中的数组及指针,通过...
- 牛亚文边计年吴强薛宏熙
- 关键词:CDFG软硬件划分层次化
- 文献传递
- 基于线性规划的RTL可满足性求解和性质检验被引量:9
- 2006年
- 采用线性规划作为基本工具开发一个RTL可满足性求解器,并将其应用于解决RTL性质检验问题·深入研究了使用线性规划约束对RTL电路元器件的建模方法,得到了一种对RTL电路建模的通用方法·通过将RTL性质转化为虚拟RTL电路,找到了一种验证RTL性质的方法·通过实验,并与采用zchaff布尔可满足性求解器的模型检验工具NuSMV进行比较,证明了基于RTL可满足性求解器的性质验证方法在内存和时间消耗上具有相当大的优势·
- 郑伟伟吴为民边计年
- 关键词:线性规划寄存器传输级可满足性
- 面向系统功能特性的协同验证方法研究
- 2005年
- 为了提高芯片设计中功能验证环节的效率,提出了一种对系统的功能特性归类划分、自动选择适合的验证技术的协同验证方法,构建了多种验证技术之间无缝协作的平台。该协同验证方法所依据的策略是:特定的功能特性采用特定的验证技术更有效。因此,利用不同验证技术的互补验证能力,可提高验证效率。协同验证平台的实现是基于从控制数据流图得到的细化模型,该细化模型采用了包括特性分组、变量重排、结构细化等模型优化技术,以提高验证速度。根据在ITC99上的验证,证明了该协同验证方法的有效性和实用性。
- 朱明边计年吴为民
- 一种用于暗域交替式相移掩模设计的自适应版图划分方法(英文)被引量:1
- 2004年
- 提出了一种新的用于加速 1 30 nm以下工艺交替式相移掩模设计流程的版图划分方法 ,该方法能够自适应调整版图划分的粒度 .讨论了消除相位冲突的方法和版图压缩中相位兼容性保持的策略 .利用上述算法实现的 CAD原型系统经多个工业界例子的测试表明能够有效地适应随版图尺寸而快速增长的相位冲突复杂性 ,同时提供较好的 PSM设计质量 。
- 王迪吴为民洪先龙
- 关键词:相移掩模可制造性设计EEACC