{"title":"Robust system design with uncertain information","authors":"G. Micheli","doi":"10.1109/MEMCOD.2003.1210113","DOIUrl":null,"url":null,"abstract":"New opportunities and challenges in system design are direct consequences of the progress in semiconductor technologies, and are due to the extremely small nature of electronic devices, the extremely large complexity of systems, and the new, unchartered territory set by novel technologies. Reliable on-chip communication will require viewing routing wires as information channels, and systems as micro-networks of components. Signal transmission will face an increasingly more noisy environment, where noise abstracts undesirable effects such as timing variations, cross-talk and interference. Techniques borrowed from networking will be applicable at the chip level, to provide reliable communication over unreliable physical channels. Information encoding, packetization and routing will provide us with a new facet of design, to support reliable data transfer in a noisy environment.","PeriodicalId":213762,"journal":{"name":"First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.","volume":"80 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2003-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"12","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MEMCOD.2003.1210113","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 12

Abstract

New opportunities and challenges in system design are direct consequences of the progress in semiconductor technologies, and are due to the extremely small nature of electronic devices, the extremely large complexity of systems, and the new, unchartered territory set by novel technologies. Reliable on-chip communication will require viewing routing wires as information channels, and systems as micro-networks of components. Signal transmission will face an increasingly more noisy environment, where noise abstracts undesirable effects such as timing variations, cross-talk and interference. Techniques borrowed from networking will be applicable at the chip level, to provide reliable communication over unreliable physical channels. Information encoding, packetization and routing will provide us with a new facet of design, to support reliable data transfer in a noisy environment.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
具有不确定信息的鲁棒系统设计
系统设计中的新机遇和挑战是半导体技术进步的直接后果,并且是由于电子设备的极小性质,系统的极大复杂性以及新技术所设定的新的未知领域。可靠的片上通信需要将布线视为信息通道,将系统视为组件的微网络。信号传输将面临越来越多的噪声环境,其中噪声抽象了诸如时序变化、串扰和干扰等不良影响。从网络中借鉴的技术将适用于芯片级,在不可靠的物理信道上提供可靠的通信。信息编码、分组和路由将为我们提供一个新的设计方面,以支持在嘈杂环境中可靠的数据传输。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Petri net based interface analysis for fast IP-core integration Formal verification of an Intel XScale processor model with scoreboarding, specialized execution pipelines, and impress data-memory exceptions Reliability evaluation for dependable embedded system specifications: an approach based on DSPN Finding good counter-examples to aid design verification Bridging CSP and C++ with selective formalism and executable specifications
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1