公共文化服务平台

HCDFG-II—面向C语言系统描述的控制/数据流图表示被引量：6: 2004年; 介绍了基于C语言系统描述的面向软硬件划分的一种中间表示———层次化控制 /数据流图HCDFG II及其转换方法 HCDFG II根据C语言的特点对HCDFG进行了扩充 ,通过引入内存访问结点来表示和处理C程序中的数组及指针 ,通过定义并发结构来表示C程序中的可并发部分同时 ,由于HCDFG II采用以控制流为主的结构 ,从C语言进行转换十分容易这使得它能有效地作为C语言系统描述的中间表示。; 牛亚文边计年吴强薛宏熙; 关键词：软硬件划分层次化

基于抽象体系结构模板的多路软硬件划分算法被引量：10: 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上的验证,证明了该协同验证方法的有效性和实用性。; 朱明边计年吴为民

Adaptive Layout Partitioning for Dark Field Alternating Phase-Shift Mask Design被引量：1: 2004年; A new partitioning methodology is presented to accelerate 130nm and beyond large scale alternating phase shift mask(Alt PSM) design flow.This method deals with granularity self adaptively.Phase conflicts resolution approaches are described and strategies guaranteeing phase compatible during layout compaction are also discussed.An efficient CAD prototype for dark field Alt PSM based on these algorithms is implemented.The experimental results on several industry layouts show that the tool can successfully cope with the rapid growth of phase conflicts with good quality and satisfy lower resource consumption with different requirements of precision and speedup.; 王迪吴为民洪先龙; 关键词：PARTITION

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家高技术研究发展计划(2003AA115110)