C语言系统描述的HCDFG-Ⅱ实现

【摘要】：C语言是系统设计中一种主要的系统描述语言,在系统级软硬件协同验证以及随后的软硬件划分、接口综合和行为综合等中都需要把C语言的系统描述转化为控制数据流图．本文介绍了一种层次化控制数据流图HCDFG-Ⅱ模型,以及从C语言生成该模型的方法。HCDFG-Ⅱ的层次化模型中划分为函数／进程级、语句级和操作级,根据需要可以生成不同级别的模型。本文讨论了C 语言中各种控制结构以及数组、指针、联合和结构等复杂数据类型生成HCDFG-Ⅱ的方法。

【作者单位】：清华大学计算机科学与技术系清华大学计算机科学与技术系清华大学计算机科学与技术系清华大学计算机科学与技术系
【基金】：国家“973”重点基础研究发展规划(G1998030403) 国家自然科学基金(90207017) 国家“863”高技术研究发展计划(2003AA115110)的资助
【分类号】：TP312.1

下载全文更多同类文献

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【参考文献】
	【参考文献】

中国硕士学位论文全文数据库

前1条

1	陈劲;SOC软硬件协同设计自适应粒度算法研究[D];清华大学;2004年

	【共引文献】
	【共引文献】

中国硕士学位论文全文数据库

前1条

1	邓婷;基于UML和SystemC的软硬件协同设计研究[D];武汉理工大学;2007年

	【相似文献】
	【相似文献】

中国期刊全文数据库

前10条

1	王睿雪;;基于粒子系统和物理模型的实时飘雪模拟[J];科技创新与品牌;2011年08期
2	吴爱燕;曾广平;涂序彦;;集对云决策方法的研究[J];小型微型计算机系统;2011年08期
3	高扬;赵微;白旭亚;;一类带有扰动的非线性系统的W-渐近稳定分析[J];齐齐哈尔大学学报(自然科学版);2011年05期
4	丁长松;胡志刚;肖鹏;;网格环境中可靠性增强的资源预留策略[J];通信学报;2011年07期
5	董彪;蒋自国;蒲志林;;变时滞的双向联想记忆神经网络的全局指数稳定性[J];西南民族大学学报(自然科学版);2011年04期
6	刘桂荣;;校园网试题库管理系统的设计与实现[J];中国信息技术教育;2011年Z1期
7	;[J];;年期
8	;[J];;年期
9	;[J];;年期
10	;[J];;年期

中国重要会议论文全文数据库

前10条

1	赵康;边计年;吴强;薛宏熙;;C语言系统描述的HCDFG-Ⅱ实现[A];第三届中国测试学术会议论文集[C];2004年
2	卢青;丁恩杰;张余峰;;DSPbuilder在基于FPGA的DSP设计中的应用[A];第十五届全国煤矿自动化学术年会和中国煤炭学会煤矿自动化专业委员会学术会议论文集[C];2005年
3	钟小伟;;西门子AzS(M)350 M型微机计轴设备系统[A];城市快速轨道交通建设新发展——《都市快轨交通》理事会2004年会论文集[C];2004年
4	李楠;张武;李勇;郑少林;;苏铁类植物化石的分类和演化[A];第五届全国苏铁学术会议论文摘要汇编[C];2007年
5	王邦康;陈辉;;年轻恒牙前牙开的三维X线头影测量研究[A];第五次全国口腔正畸学术会议论文汇编[C];1997年
6	王向东;高立群;张嗣瀛;;分散线性反馈稳定化一类不确定线性组合大系统[A];1994年中国控制会议论文集[C];1994年
7	;宜昌地质矿产研究所成果简介[A];中国地质科学院文集（1982中英文合订本）[C];1985年
8	牛亚文;边计年;吴强;薛宏熙;;HCDFG-Ⅱ—面向C语言系统描述的控制/数据流图表示[A];全国第13届计算机辅助设计与图形学（CAD/CG）学术会议论文集[C];2004年
9	岳昭;;Olivooides属的微结构及其系统位置[A];中国地质科学院地质研究所文集（14）[C];1987年
10	郑艳;谌敏峰;;TreacherCollins综合征的一例报道[A];中华医学会第十次全国耳鼻咽喉-头颈外科学术会议论文汇编（下）[C];2007年

中国重要报纸全文数据库

前10条

1	;LLDP网络维护好助手[N];网络世界;2004年
2	王莉慧;系统描述中国古代建筑历史的宏篇巨制[N];中国建设报;2007年
3	记者孙永杰;刀片突入高性能标准技术市场如何把握[N];中国电子报;2007年
4	张凤岐;精炼而实用[N];电脑商报;2007年
5	祁金华;拨开国产HPC标准迷雾[N];网络世界;2007年
6	赵晓涛;简约：安全管理的方向[N];网络世界;2007年
7	记者潘燕;早日成才为郑州发展作贡献[N];郑州日报;2007年
8	记者哲一特约撰稿杜敬;高性能计算机标准：与高手过招[N];中国电子报;2007年
9	杨红;保险业：零距离触摸“险情”[N];中国计算机报;2006年
10	刘玲;山东出台《计算机审计考核办法》[N];中国审计报;2006年

中国博士学位论文全文数据库

前8条

1	顾永如;不确定系统的鲁棒稳定与控制[D];浙江大学;1997年
2	刘明;中国东北中生代象甲和花蚤化石研究（昆虫纲：鞘翅目：象甲总科，花蚤科）[D];首都师范大学;2007年
3	彭达洲;时滞系统的稳定性、区域稳定性与控制研究[D];华南理工大学;2003年
4	黄建东;中国中生代晚期蜉蝣目化石研究及水生昆虫群落演替分析[D];首都师范大学;2009年
5	于连栋;动态测量系统现代建模理论研究[D];合肥工业大学;2003年
6	全成;黑龙江嘉荫沿江地区晚白垩世植物群及地层[D];吉林大学;2005年
7	李广元;LTLC：面向实时与混成系统的连续时序逻辑[D];中国科学院软件研究所;2001年
8	丁滢颍;基于个性的多机器人协作研究[D];浙江大学;2005年

中国硕士学位论文全文数据库

前10条

1	邓婷;基于UML和SystemC的软硬件协同设计研究[D];武汉理工大学;2007年
2	张鑫;自重构机器人结构设计及其自修复算法的研究[D];上海交通大学;2008年
3	江标;非法计算检测的通用模型[D];北京邮电大学;2009年
4	殷开爽;JPEG压缩的SOPC实现[D];北京交通大学;2006年
5	刘俏亮;结构抽象分层基于模型诊断的算法改进[D];吉林大学;2008年
6	王薇;河北秦皇岛山羊寨哺乳动物群中的兔科动物化石[D];西北大学;2009年
7	高太平;中国东北地区中生代膜翅目广腰亚目化石的研究[D];首都师范大学;2009年
8	李艳丽;中国东北地区中生代长翅目蚊蝎蛉科昆虫化石研究[D];首都师范大学;2009年
9	宋伊琳;传染病动力学模型中的地方病阈值[D];南京师范大学;2006年
10	姜亮;面向深圳联通BOSS系统的需求管理系统[D];山东大学;2006年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡神州行卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62791813 010-62985026	常见问题在线咨询阅读器下载	充值中心知网卡新手指南