亚尼克·勒穆莱克;Jean-Philippe Diguet;内德·本·阿莫尔;蒂埃里·古尔德;Jean-Luc菲利普 使用Design Trotter实现嵌入式多媒体应用程序的算法级规范和特性描述。 （英语） Zbl 1138.68653号 超大规模集成电路信号处理。系统。信号图像视频技术。 42，第2期，185-208（2006）. 概要：设计嵌入式系统是一项具有挑战性的任务，在此期间，错误的选择可能会导致极其昂贵的重新设计循环，尤其是当在算法规范和所选架构的映射期间做出这些错误的选择时。在本文中，我们提出了一种高级的设计空间探索方法，使用常用的标准语言作为输入。更确切地说，我们介绍了设计Trotter框架的两个第一步：（i）规范步骤及其底层内部模型（HCDFG：层次和控制数据流图）和（ii）在设计流程早期发生的表征步骤。事实上，一旦转换为我们的内部表示，规范就可以在算法级别快速自动地进行特征描述和探索。该框架为设计者提供了度量标准，以便他能够在设计过程的早期评估算法选择在不同粒度级别的处理、控制、内存带宽和潜在并行性方面对资源需求的影响。我们的方法的总体目标是改进算法/架构匹配，这在硅面积、性能和能耗方面严重影响实现效率。我们给出了一些示例，说明设计师如何参考Design Trotter框架的结果，以便为特定应用程序选择或构建合适的架构。 MSC公司： 68单位99 计算方法和应用 关键词：规范;特性描述;算法/架构匹配;设计空间探索;SoC公司 软件：酯类 PDF格式BibTeX公司 XML格式引用 \textit{Y.Le Moullec}等人，J.VLSI信号处理。系统。信号图像视频技术。42，第2号，185--208（2006；Zbl 1138.68653） 全文： 内政部 链接 参考文献： [1] Y.Le Moullec、J-Ph.Diguet和J.-L.Philippe，“设计转子：多媒体嵌入式系统设计空间探索工具”，IEEE多媒体信号处理研讨会（MMSP 2002），圣托马斯，美属维尔京群岛，2002年12月。 [2] Th.Gourdeaux、J-Ph.Diguet和J.-L.Philippe，“设计步骤：功能间循环分配步骤”，第11届国际会议RTS嵌入式系统，法国巴黎，2003年4月。 [3] S.Bilavarn、G.Gogniat、J.L.Philippe和L.Bossuet，“可重构体系结构的快速原型>来自c程序”，2003年ISCAS，泰国曼谷，2003年5月。 [4] L.Bossuet、W.Burleson、G.Gogniat、V.Anand、A.Laffely和J.L.Philippe，“设计探索中的瓷砖建筑定位”，第十届可重构建筑研讨会（RAW），法国尼斯，2003年4月。 [5] A.Azzedine、J-Ph.Diguet和J.-L.Philippe，“对多速率和非周期实时系统的硬件/软件划分的大规模探索”，载于2002年5月于美国庄园公园举行的国际硬件/软件代码设计研讨会。 [6] 杰拉德·贝里（Gérard Berry），“酯类引物”http://www-sop.inria.fr/meije/esterel/esterel-eng.html。 ·Zbl 0599.68023号 [7] N.Halbwachs，《整流系统的同步编程》，Kluwer学术出版社，1993年·Zbl 0828.68038号 [8] F.Balarin、M.Chiodo、P.Giusto、H.Hsieh、A.Jurecska、L.Lavagno、C.Passerone、A.Sangiovanni-Vincentelli、E.Sentovich、K.Suzuki和B.Tabbara，《嵌入式系统的软硬件协同设计：Polis方法》，Kluwer学术出版社，1997年6月·Zbl 0878.68133号 [9] S.Edwards、L.Lavano、E.A.Lee和A.Sangiovanni Vincentelli，“嵌入式系统的设计：形式化模型、验证和综合”，载于《美国电气与电子工程师协会论文集》，1997年3月。 [10] J.Buck和E.E.Lee，“代币流模型”，《数据流研讨会》，澳大利亚汉密尔顿岛，1992年5月。 [11] A.D.Pimentel、L.O.Hertzberger、P.Lieverse、P.van der Wolf和Ed F.Depretter，“用artemis探索嵌入式系统架构”，IEEE计算机，第34卷，第11期，2001年，第57–63页。 [12] “托勒密项目网页，”http://ptolemy.eecs.berkeley.edu/。 [13] “系统网页，”http://www.systemc.org/。 [14] A.Gerstlauer和D.Gajski，“系统级抽象语义”，IEEE系统综合国际研讨会（ISSS），日本京都，2002年。 [15] L.Cai、S.Verma和D.D.Gajski，“系统设计中规范语言和系统语言的比较”，技术代表CECS-03-11，美国加州大学欧文分校，2003年。 [16] “Esterel工作室网页，”http://www.esterel-technologies.com/。 [17] L.Guerra、M.Potkonjak和J.Rabaey，“使用算法属性的系统级设计指南”，IEEE超大规模集成电路信号处理研讨会，美国圣地亚哥，1994年10月。 [18] J-Ph.Diguet、O.Sentieys、J.-L.Philippe和E.Martin，“管道架构的概率资源估算”，IEEE VLSI信号处理研讨会，日本酒井，1995年10月。 [19] F.Vahid和D.D.Gajski，“系统级功能分区的紧密度指标”，英国布莱顿EDAC，1995年9月，第328–333页。 [20] L.Carro、M.Kreutz、F.Wagner和M.Oyamada，“多处理器嵌入式应用的系统合成”，欧洲设计自动化和测试会议（DATE），法国巴黎，2000年3月。 [21] D.Sciuto、F.Salice、L.Pomante和W.Fornaciari，“异构多处理器嵌入式系统设计空间探索的度量”，《硬件/软件代码设计国际研讨会》，美国埃斯特斯公园，2002年5月。 [22] M.Auguin、K.Ben Chehida、J-Ph.Diguet、X.Fornari、A-M.Fouillart、C.Gamrat、G.Gogniat、P.Kajfasz和Y.Le Moullec，“可重构计算的分区和协同设计工具与方法：享乐主义哲学”，载于《系统、架构、建模仿真第三国际工作》（SAMOS03），希腊，2003年7月。 [23] A.Dasdan、D.Ramanathan和R.K.Gupta，“速率推导及其在反应式实时嵌入式系统中的应用”，第35届美国计算机与电子工程师协会设计自动化会议，美国旧金山，1998年。 [24] M.Miranda、M.Janssen、F.Catthoor和H.De Man，“ADOPT:分布式内存体系结构中的高效硬件地址生成”，第九届IEEE/Acm国际研讨会。系统合成，美国拉荷拉，1996年11月。 [25] S.Wutack、J-Ph.Diguet、F.Catthoor和H.De man，“低功耗分层内存映射数据重用探索的形式化方法”，《IEEE超大规模集成电路系统交易》，第6卷，第4期，1998年，第529-537页·数字对象标识代码：10.1109/92.736124 [26] Y.Le Moullec、J-Ph.Diguet、D.Heller和J.-L.Philippe，“大型设计空间探索的快速自适应数据流和数据传输调度”，美国纽约大湖区超大规模集成电路（GLSVLSI）研讨会，2002年4月。 [27] M.Antonini、M.Barlaud、P.Mathieu和I.Daubechies，“使用小波变换的图像编码”，IEEE图像处理事务，第1卷，第2期，1992年，第205-206页·数字对象标识代码：10.1109/83.136597 [28] S.Bilavarn P.Vandergheynst E.Debes，“定义专用处理器架构的方法和工具”http://ltswww.epfl.ch/bilavarn/SpecialPurposeProcessor_files/frame.htm2003年，英特尔拨款11409。 [29] L.Letellier和E.Duchesne，“运动估计算法”，技术代表，L.C.E.I，C.E.A，Saclay，法国，2001年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。