一种面向SOC系统设计的层次化CDFG定义.pdfVIP

．————生璺』墅堕兰塑垒??旦一种面向??低成杓频牟愦位疌??ㄒ?王云峰吴强边计年薛宏熙很多到硬件划分和形式验证也使用??作为行为描述的中间表示方式。本文介绍了一种面向?把?的开展，很多软腰件划分和形式验证的研究人员也使用??作为自己的行为描述中间表示方式?】。但是，?愦位疌??ㄒ?垒些堡：??闼勘けゆ匀ɡ矬??????貌槿?岜と??????的定义?寤4笱Ъ扑慊?蒲??际跸担?本????摘要：??是在综合中比较常用的行为描述的中间表示方式。近来，在系统级芯片?????杓频牟愦位疌??袷剑?⑶腋?隽搜细竦亩ㄒ濉Ｕ庵植愦位?腃??袷皆谝酝?腃??上进行了扩充，允许使用者定义层次化??，并且给出了层次化??的标准控制结构。文中还提出了??的形态树的概念，这将对准确地理解??又很大的帮助。层次化??致力于尽可能忠实地体现行为描述的内容，有利于高层次??杓频氖褂茫??币补思傲舜覥或??关键词：??，???愦位??卟愦巫酆?控制数据流图??????．?????是在综合中比较常用的行为描述的中间表示方式?】。这种中间表示方式有即直观又准确的优点。近来，随着面向系统即芯片????????杓品椒ㄑУ难芯???的表示方法一直没有严格并且精确的定义，这给??难芯咳嗽贝?戳撕艽蟮牟槐恪Ｔ诖酥?埃??有人对??进行了定义，并且做了层次化扩充?】，但是这样定义出来的??不够直观，不利于高层次的设计人员进行检查和修改。本文介绍了一种面向??杓频牟愦位疌??袷剑?⑶腋?隽搜细竦亩ㄒ濉Ｕ庵植愦位疌??袷?在以往的??上进行了扩充，允许??层次化地嵌套。这对于不同粒度下的软硬件划分是非常有利的，同时，也便于高层次综合中对于某些特定的结构??绶种В???进行优化处理。层次化??扩充了非层次化的??的节点的概念。在我们的定义中，“节点”可以进一步扩充成为新的“子??”，??的某一部分也可以聚合成为一个节点。在这种情况下，一个??在不同的层次上有不同的表示形式，综合工具可以针对某个层次下的具体的“子??”??行分析优化，而不会影响原始??的其它部分。在文中，我们给出了??的标准控制结构，这对于将原始的??进行层次化非常有用。文中还提出了??的形态树的概念，将原始??的不同聚合方式定义为??的一种形态，这将对准确地理解层次化??有很大的帮助。层次化的??致力于尽可能忠实地体现行为描述的内容，有利于高层次综合的使用，同时也顾及了从???刃形C枋鲇镅缘讲愦位疌??淖;??我们将在第二部分着重介绍??的定义，层次化??中的节点和“子??”的对应以及一些标准控制结构。在第三部分，我们将介绍层次化??的状态树概念以及相关性质。最后，将介绍层次化??在我们的研究中的使用情况，并进行总结。层次化的??定义为?‘％，?，?在定义??中，”代表节点的集合，??碛邢虮叩募?稀???械慕诘闶侵葱心掣鼍咛宓牟僮鞯牡?等行为描述语言到层次化??的转化。????．??．??叮ィ琿，??畑??稬? 元实篡蓉嚣篇义紧＆节点?磇??的???鱅?。?，?表示该节点的输入端口列表，?表示芸巍的输出端．? 尘．些堡皇垡壹塑?堡墅全里篁?旦?些?疾槿?岜ぞト?!!!!!!!!!!!I??凰躄垫堕?????砀枚丝赑；的类型?淙攵丝陔虺龆丝???标准控制结构??节点和子??的对应从定义??中可以看出，在不同的综合条件??乇鹗窃诓煌?墓δ艿ピ?饣?∠拢??咏诘愕募??表示该节点执行的操作。??硎靖媒诘愕氖淙攵丝冢琔表，???聿?数点刖?龀鍪??篒列表，层次化??中的节点分为原子节点和组合节点两类。定义??：如果在综合过程中．层次化??中的某个节点需要实现的操作能够在功能单元库中找到相应的库单元实现，则称此节点为原子节点。否则，此节点需要实现的功能必须通过多个功能单元组合完成，称此节点为组合节点。??蚉?ㄒ迦缦拢篜／“??，，?端???砀枚丝诹ナ舻慕诘悖琫代表和该端口的概念在我们的定义中是非常重要的。在我们的定义中，各个操作节点通过端口进行数据传输??图???，并且通过端口的对应实现“子??”和节点的对应??将存??中进行详细地说明????中的边用于连接各个节点，并且在各个节点之间传输数据和控制信息。定义如下：?．?其中，??肀?上传输的是数据还是控制信息，?４?矸⒊龈帽叩慕诘悖瑅。代表该边指向的节点，???矸⒊龈帽叩亩??琍。代表该边指向的端口，??砀帽叩娜ㄖ亍?在这种机制下，节点和子??的对应可以图?硎尽?如图??荆?恳桓鯪??杂σ桓鯟??Ｈ绻?骋桓???为原子节点．则其对应的??为空。如果某个??为组合节点，其对应的??实现这个节点的功能。注意：图?写油?ǜ龆丝诔龇⒌氖迪呒?泛托橄呒??表示了??和??的端口对应关系。互相对应的端口具有同样的标识，它们被认为是同一个端口在??中的不同拷应用这种节点和??的对应关