2006年第9届FDL:德国达姆施塔特
-
规范和设计语言论坛,FDL,2006年9月19-22日,德国达姆施塔特,会议记录。 欧洲标准协会 2006 ,十亿 978-3-00-019710-9
AMS-1: AMS设计的形式和符号技术
威廉·希普克 :
系统级精度的半符号分析。 3-9 陶当(Thao Dang) , 塔里克·纳哈尔 :
用于电路验证的混合系统随机模拟。 9-15 尤特·马滕斯 , 乔治·吉伦 :
模拟和混合信号系统的通用行为建模。 15-23
AMS-2: 基于C的混合信号系统设计
AMS-3: 建模方法
法比安·普雷加尔迪尼 , 克里斯托弗·拉伦特 , B.对角线 , Jean-Michel Salles公司 , 弗朗索瓦·克鲁梅纳彻 :
使用VHDL-AMS对新兴技术进行紧凑建模。 23-31 摩根马德克 , 威尔弗里德·乌林 , 扬尼克·赫韦 :
铁电液晶的VHDL-AMS模型。 31-40 周凌飞 , 伊夫·安德雷·查皮斯 , 扬尼克·埃尔维 :
VHDL-AMS建模与仿真。 41-46 约阿希姆·哈斯 :
VHDL-AMS中使用多维网络的基带建模。 47-53
AMS-4: 验证和方法
马丁·弗雷博特 , 延斯·德格 , 托尔斯滕·科姆 , 斯特凡·路德维希 , 伯恩德·斯特劳贝 , 恩斯特·科克 :
非线性模拟的面向验证的行为建模。 53-60 科琳·贝斯托利 , 弗朗索瓦·马克 , 埃尔维·列维 , 伊夫·丹托 :
热载流子注入可靠性的多级建模。 61-68 扬尼克·赫韦 , 帕特里夏·德斯格雷斯 :
功能虚拟样机设计流程和VHDL-AMS。 69-77 D.吉哈尔 , 安德里厄 :
从其他HDL语言生成VHDL-AMS模型。 77-83
AMS-5: 建模工具
丹尼尔·普拉特 , 上京京 , 拉尔夫·索默 , 埃里希·巴克 :
使用序列方程提高效率和鲁棒性。 83-90 托尔斯滕·梅纳 , 阿兰·瓦库克斯 :
ModelLib:一个用于收集行为模型的基于Web的平台。 91-98 蒂洛·布劳斯 , 曾开平 , 索林·胡斯 :
支持AMS系统设计。 99-104
CSD-1: 基于C的混合信号系统设计
赫萨·朱奈德 , 汤姆·J·卡兹米尔斯基 , 王乐然(Leran Wang) :
汽车座椅隔振系统的建模。 107-113 卡尔斯滕·埃因维奇(Karsten Einwich) , 巴斯琴 , 克里斯托夫·克劳 , 乌韦·艾希勒 , 彼得·施耐德 :
用于保守非线性动态系统建模的SystemC-AMS扩展库。 113-119 Rüdiger Schroll公司 , 威廉·希普克 , 克劳斯·沃尔奇米特 , 克里斯托夫·格林 :
异构系统设计框架。 119-121 穆罕默德·阿拉西尔 , 朱利安·德努莱 , 奥利维尔·罗曼 , 帕特里克·加尔达 :
SystemC AMS中I2C总线控制器的建模与仿真。 121-128
CSD-2: 设计表示和转换
约阿希姆·福尔克 , 克里斯蒂安·哈贝特 , 尤尔根·蒂奇 :
基于模型的设计的高效表示和仿真。 129-135 托尔斯滕·舒伯特 , 沃尔夫冈·内贝尔 :
Quiny SystemC前端:自我合成设计。 135-143 迪帕克·马泰库蒂 , 桑迪普·K·舒克拉 :
从SystemC IP库中挖掘IP可组合性的元数据。 143-151 曼弗雷德·穆克 , 吉多·哈菲利 :
一个可识别位宽的HDL扩展。 151-153 乔瓦尼·阿戈斯塔 , 马可·桑坦布罗基奥 , Seda Ogrenci记忆 :
系统级功能分区的自适应度量。 153-155
CSD-3: 模拟
弗兰克·罗金 , 埃哈德·费勒 , 斯特芬·吕尔克 , 塞巴斯蒂安·奥内瓦尔德 , 托马斯·伯恩特 :
非侵入性高级SystemC调试。 155-161 费尔南多·埃雷拉 , 尤金尼奥·维拉尔 :
SystemC内核的仿真覆盖扩展。 161-168 沃尔夫冈·克林加夫 , 曼努埃尔·杰夫肯 :
在SystemC中设计结构分析和事务记录。 169-177
第4版: 建筑建模
西尔万·休特 , 艾曼纽尔·卡索 , 奥利维尔·帕斯基尔 , 塞巴斯蒂安·勒努斯 :
数字信号处理中的硬件通信优化。 177-185 Subhek Garg公司 , 马塞洛·拉约洛 :
基于C的片上网络柔性包装器设计。 185-189 拉杰夫·库马尔 , 拉胡尔·乔杜里 , 迪班卡Das , Vibha Rathi公司 , 苏布拉特·库马尔·潘达 , P.P.查克拉巴蒂 :
RISC处理器系统的SystemC建模与验证。 189-197
CSD-5: 交易级建模
维萨·拉赫蒂宁 , 朱妮·西尔托拉 , 托米·梅凯莱恩 :
通信引擎设计中的事务级建模。 197-203 马丁·拉德茨基 :
活动对象的SystemC TLM事务建模和调度。 203-209 沃尔夫冈·埃克尔 , 沃尔坎·埃森 , 托马斯·斯坦林格 , 迈克尔·维尔滕 :
事务级建模的案例研究。 209-215 马库斯·温特霍勒 :
设计结构分析和基于事务的协同验证。 215-222
CSD-6: 功率和性能分析
贾里·克雷库 , 杨曲 , Juha-Pekka大豆蛋白 , Kari Tiensyrjä :
分层UML工作负载和SystemC平台模型。 223-229 马西莫·孔蒂 , 圣马力内利 , 乔瓦尼·B·韦斯 , S.Oricione公司 :
动态电源管理体系结构的SystemC建模。 229-235 胡安·塞维拉诺 , 安多尼·伊里扎尔 , 伊贡·维莱兹(Igone Vélez) , K.番茄 :
使用SystemC进行高效蒙特卡罗模拟。 235-237 克劳斯·斯特罗曼格 , 马丁·比克 :
用于架构(Architecture)尺寸标注的基于令牌的OSCI SystemC模拟器。 237-239
FPD-1: 您如何监控此属性?
马丁·希克尔 , Volker Nimbler公司 , 马丁布劳恩 , 汉斯·伊夫金 :
关于属性集的一致性和完备性。 241-248 卡泰尔·莫林·阿洛里 , 多米尼克·博里奥内 :
基于正则表达式的属性的在线监控。 249-255
FPD-2: 合作和工业项目成果
西特凡尼特·鲁阿 :
PROSYD的主要结果-编写可重用PSL断言的方法和工具。 263-264 米歇尔·梅茨格 , 弗雷德里克·巴斯蒂恩 , 法国卢梭 , 朱莉·瓦雄 , 穆斯塔帕·阿布勒哈米德 :
使用自省机制的验证工具实现。 265-272 朱塞佩·德尔拉·佩纳 , 阿尔贝托·托法尼 , 马塞洛·佩科拉里 , 奥拉齐奥·拉帕雷利 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
集成测试自动生成的案例研究。 278-284
FPD-5: 你最喜欢的规范范例是什么?
伯恩哈德·尼曼 , 克里斯蒂安·哈贝特 :
使用通信状态机规范TLM。 285-293 延斯·勃兰特 , 克劳斯·施耐德 :
系统描述方面作为语法糖。 293-301 沃尔夫冈·埃克尔 , 沃尔坎·埃森 , 托马斯·斯坦林格 , 迈克尔·维尔滕 , 雅各布·斯密特 :
临时系统C断言的IP库。 301-309
特别会议: ICODES项目
科妮莉亚·格拉布 , 克劳斯·布伦泽马 , 金·格里特纳 , 托尔斯滕·舒伯特 , 欧本海默 :
ICODES项目概述。 309-311 乔万娜·费雷拉 , 安妮·马里·福利亚特 , 约阿希姆·格拉赫 :
工业合作伙伴对ICODES方法的期望。 311-318 弗朗西斯科·布鲁西 , 法布里奇奥·费兰迪 :
基于SystemC的通信体系结构框架。 319-327 金·格里特纳 , 科妮莉亚·格拉布 , 托尔斯滕·舒伯特 , 克劳斯·布伦泽马 , 欧本海默 :
OSSS-渠道:通信的建模和综合。 327-335
UML主题演讲
沃尔夫冈·米勒 :
UML——新兴的硬件描述语言? 335-335
UML-1: SoC的设计流程
D.莫伊苏克 , S.革命 , 科林·F·斯努克 :
基于验证的硬件设计流的UML用户界面。 337-344 蓖麻Elvinia Riccobene , 帕特里齐娅·斯坎杜拉 , 萨拉·博奇奥 , 阿尔贝托·罗斯蒂 :
嵌入式系统的模型驱动协同设计流程。 345-351 克劳斯·克伦洛夫 , 萨穆·科廷宁 , 伊恩·奥利弗 , 蒂莫·埃里克森 :
一种终端平台体系结构开发方法。 351-359 瓦西拉·拉巴尼 , 埃里克·鲁滕 , Jean-Luc Dekeyser公司 , 皮埃尔·布莱特 :
用于建模受控数据并行应用程序的UML2配置文件。 359-367
UML-2: 设计空间探索模型
迪帕克·马泰库蒂 , 桑迪普·K·舒克拉 :
MCF:一个基于元模型的可视化组件组合框架。 367-375 奥纳·弗洛雷斯库 , 杰罗恩·沃顿 , 马塞尔·弗霍夫 , Henk下士 :
重用实时系统设计经验。 375-381 朱利奥·梅德利纳 , 帕特里夏·洛佩斯·马丁内斯 , 何塞·玛丽亚·德雷克 :
面向实时建模的UML概要文件。 381-389
UML-3: 基于UML的工作流研究
毛罗·普雷沃斯蒂尼 , 西瓦库马尔·加内桑 :
缩小SysML和设计空间探索之间的差距。 389-395 雷达·哈穆切 , 雷米·科西克 :
基于元模型的实时嵌入式设计方法。 395-403 托马斯·马赫 , 帕特里克·席林格 , 安德烈亚斯·富尔克特豪尔(Andreas Fürchthauer) , 丹尼尔·基什内尔 :
基于UML的混合CPU-FPGA代码自动生成。 403-406 安德烈亚斯·图伊 , Leandro Soares Indrusiak公司 , 曼弗雷德·格莱斯纳 :
将沟通模式应用于面向行动者的模型。 407-409