SafeTI: a Hardware Traffic Injector for MPSoC Functional and Timing Validation

Oriol Sala, S. Alcaide, Guillem Cabo, F. Bas, Ruben Lorenzo, Pedro Benedicte, David Trilla, Guillermo Gil, Fabio Mazzocchetti, J. Abella
{"title":"SafeTI: a Hardware Traffic Injector for MPSoC Functional and Timing Validation","authors":"Oriol Sala, S. Alcaide, Guillem Cabo, F. Bas, Ruben Lorenzo, Pedro Benedicte, David Trilla, Guillermo Gil, Fabio Mazzocchetti, J. Abella","doi":"10.1109/IOLTS52814.2021.9486689","DOIUrl":null,"url":null,"abstract":"Functional and timing validation of safety-related MPSoCs requires testing specific traffic patterns in the on-chip interconnects. Generally, testing needs to be performed by using software tests whose degree of control on the traffic generated is indirect, and limited to behavior that can be triggered by software, thus often unable to produce traffic generated by peripherals. Therefore, untested traffic scenarios can be abundant and, to a large extent, it is hard to know what traffic scenarios have been effectively tested. This paper presents the safe traffic injector, SafeTI, which allows injecting programmable traffic in AMBA AHB interconnects with high flexibility and degree of control, thus easing achieving high coverage in terms of traffic scenarios tested, and mitigating the uncertainty due to the difficulties to relate software tests with actual traffic scenarios tested. We also integrate successfully the SafeTI in an industrial MPSoC for the space domain proving the effectiveness of the proposed traffic injector.","PeriodicalId":185642,"journal":{"name":"2021 IEEE 27th International Symposium on On-Line Testing and Robust System Design (IOLTS)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2021 IEEE 27th International Symposium on On-Line Testing and Robust System Design (IOLTS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IOLTS52814.2021.9486689","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4

Abstract

Functional and timing validation of safety-related MPSoCs requires testing specific traffic patterns in the on-chip interconnects. Generally, testing needs to be performed by using software tests whose degree of control on the traffic generated is indirect, and limited to behavior that can be triggered by software, thus often unable to produce traffic generated by peripherals. Therefore, untested traffic scenarios can be abundant and, to a large extent, it is hard to know what traffic scenarios have been effectively tested. This paper presents the safe traffic injector, SafeTI, which allows injecting programmable traffic in AMBA AHB interconnects with high flexibility and degree of control, thus easing achieving high coverage in terms of traffic scenarios tested, and mitigating the uncertainty due to the difficulties to relate software tests with actual traffic scenarios tested. We also integrate successfully the SafeTI in an industrial MPSoC for the space domain proving the effectiveness of the proposed traffic injector.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
SafeTI:用于MPSoC功能和定时验证的硬件流量注入器
安全相关mpsoc的功能和时间验证需要在片上互连中测试特定的流量模式。通常,测试需要使用软件测试来执行,软件测试对产生的流量的控制程度是间接的,并且仅限于可以由软件触发的行为,因此通常无法产生由外设产生的流量。因此,未经测试的流量场景可能非常多,在很大程度上,很难知道哪些流量场景已经进行了有效的测试。本文提出了安全流量注入器SafeTI,它可以在AMBA AHB互连中注入可编程流量,具有很高的灵活性和可控制性,从而可以在被测试的流量场景上实现高覆盖率,减轻了由于软件测试与实际被测试的流量场景难以关联而带来的不确定性。我们还成功地将SafeTI集成到用于空间领域的工业MPSoC中,证明了所提出的流量注入器的有效性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Data Augmentation for Machine Learning-Based Hardware Trojan Detection at Gate-Level Netlists [Copyright notice] System-Level Test: State of the Art and Challenges Addressing Soft Error and Security Threats in DNNs Using Learning Driven Algorithmic Checks Protecting GPU's Microarchitectural Vulnerabilities via Effective Selective Hardening
wanfang
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1