| C语言系统描述的HCDFG-Ⅱ实现 |
| |
| 引用本文： | 赵康,边计年,吴强,薛宏熙.C语言系统描述的HCDFG-Ⅱ实现[J].计算机工程与科学,2005,27(4):80-83. |
| |
| 作者姓名： | 赵康 边计年 吴强 薛宏熙 |
| |
| 作者单位： | 清华大学计算机科学与技术系,北京,100084 |
| |
| 基金项目： | 国家973重点基础研究发展规划(G1998030403)，国家自然科学基金资助项目(90207017)，国家 863 计划资助项目(2003AA115110) |
| |
| 摘 要： | C语言是系统设计中一种主要的系统描述语言，在系统级软硬件协同验证及随后的软硬件划分、接口综合和行为综合等中都需要把C语言的系统描述转化为控制数据流图。本文介绍了一种层次化控制数据流图HCDFG-Ⅱ模型，以及从C语言生成该模型的方法。HCDFG-Ⅱ的层次化模型分为函数／进程级、语句级和操作级，根据需要可以生成不同级别的模型。本文讨论了C语言中各种控制结构及数组、指针、联合和结构等复杂数据类型生成HCDFG-Ⅱ的方法。
|
| 关 键 词： | C语言 系统描述语言 数据模型 HCDFG-Ⅱ 程序设计语言 |
| 文章编号： | 1007-130X(2005)04-0080-04 |
| 修稿时间： | 2004年5月10日 |
HCDFG-II Model Generation from System Specification in C |
| |
| ZHAO Kang,Bian Ji-nian,WU Qiang,XUE Hong-xi.HCDFG-II Model Generation from System Specification in C[J].Computer Engineering & Science,2005,27(4):80-83. |
| |
| Authors: | ZHAO Kang Bian Ji-nian WU Qiang XUE Hong-xi |
| |
| Abstract: | |
| |
| Keywords: | system specification C HCDFG-II co-verification HW/SW co-design |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
