一种用于自动生成快速指令集编译模拟器的语言

J. Metrôlho, C. Couto, Carlos Alberto Silva, A. Tavares
{"title":"一种用于自动生成快速指令集编译模拟器的语言","authors":"J. Metrôlho, C. Couto, Carlos Alberto Silva, A. Tavares","doi":"10.1109/SIES.2008.4577688","DOIUrl":null,"url":null,"abstract":"This paper presents a novel architecture description language, MiADL. This language is capable of specifying a wide class of ISAs by exploring the common features found in instructions, obtaining compact descriptions. Descriptionpsilas efficiency and expressiveness is demonstrated with examples that compare MiADL with other related works, using complex ISAs of contemporary processors. The semantics of new constructs of the language is also presented. These permit smaller descriptions over other ADLs. Results achieved with simulators generated from this language revealed a speed-up over other contributions. A comparison in terms of description effectiveness and simulator performance is presented.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A language for automatic generation of fast instruction-set compiled simulators\",\"authors\":\"J. Metrôlho, C. Couto, Carlos Alberto Silva, A. Tavares\",\"doi\":\"10.1109/SIES.2008.4577688\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents a novel architecture description language, MiADL. This language is capable of specifying a wide class of ISAs by exploring the common features found in instructions, obtaining compact descriptions. Descriptionpsilas efficiency and expressiveness is demonstrated with examples that compare MiADL with other related works, using complex ISAs of contemporary processors. The semantics of new constructs of the language is also presented. These permit smaller descriptions over other ADLs. Results achieved with simulators generated from this language revealed a speed-up over other contributions. A comparison in terms of description effectiveness and simulator performance is presented.\",\"PeriodicalId\":438401,\"journal\":{\"name\":\"2008 International Symposium on Industrial Embedded Systems\",\"volume\":\"13 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-06-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2008 International Symposium on Industrial Embedded Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SIES.2008.4577688\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 International Symposium on Industrial Embedded Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SIES.2008.4577688","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

摘要

本文提出了一种新的体系结构描述语言——MiADL。这种语言能够通过探索指令中的共同特征来指定广泛的isa类,从而获得紧凑的描述。通过使用现代处理器的复杂isa,将MiADL与其他相关作品进行比较,从而证明了描述、效率和表达能力。本文还介绍了该语言新结构的语义。这些允许比其他adl更小的描述。用这种语言生成的模拟器获得的结果显示,与其他贡献相比,它的速度有所提高。在描述效果和模拟器性能方面进行了比较。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
A language for automatic generation of fast instruction-set compiled simulators
This paper presents a novel architecture description language, MiADL. This language is capable of specifying a wide class of ISAs by exploring the common features found in instructions, obtaining compact descriptions. Descriptionpsilas efficiency and expressiveness is demonstrated with examples that compare MiADL with other related works, using complex ISAs of contemporary processors. The semantics of new constructs of the language is also presented. These permit smaller descriptions over other ADLs. Results achieved with simulators generated from this language revealed a speed-up over other contributions. A comparison in terms of description effectiveness and simulator performance is presented.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Challenges in embedded model checking — a simulator for the [mc]square model checker Efficient implementation of eSTREAM ciphers on 8-bit AVR microcontrollers Software component diagnosis service: architecture description Infrastructure for web-based administration of embedded systems Verifying programmable logic controllers with abstraction
×
引用
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