研究论文

在基于固件的电源管理中最大化电源状态交叉覆盖

作者:

弗拉基米尔赫特,

丹尼尔希腊、和

罗尔夫德雷克斯勒作者信息和声明

ASPDAC’19：第24届亚洲及南太平洋设计自动化会议论文集

2019年1月

页335-340

https://doi.org/10.1145/3287624.3287631

出版:2019年1月21日出版历史

获取访问权限

摘要

虚拟样机（VP）对于SoC电源管理的早期分析越来越有吸引力，目前主要在固件（FW）中实现。通过在电源软件FW/VP联合仿真中执行一组测试用例，可以监控和验证电源和时间约束。在这种情况下，电力状态的交叉覆盖是一种有效但具有挑战性的质量度量。本文提出了一种新的覆盖驱动方法来自动生成测试用例，最大化这种交叉覆盖。特别是，我们集成了一个覆盖循环，该循环根据先前的结果不断地细化生成过程。我们在基于LEON3的副总裁身上演示了我们的方法。

工具书类

[1]

IEEE标准1666，IEEE标准SystemC语言参考手册, 2011.

[2]

V.Herdt、D.Große、H.M.Le和R.Drechsler，《基于RISC-V的可扩展和可配置虚拟样机》FDL公司, 2018.

[3]

D.Große和R.Drechsler，质量驱动的系统设计。施普林格，2010年。

[4]

K.Grüttner、P.A.Hartmann、K.Hylla、S.Rosinger、W.Nebel、F.Herrera、E.Villar、C.Brandolese、W.Fornaciari、G.Palermo、C.Ykman Couvreur、D.Quaglia、F.Ferrero和R.Valencia，“支持基于平台的设计空间探索的硬件/软件协同设计和电源管理的复杂参考框架，”微处理器和微系统，第37卷，第8期，C部分，第966-980页，2013年。

数字图书馆

[5]

S.Schürmans、D.Zhang、D.Auras、R.Leupers、G.Ascheid、X.Chen和L.Wang，《使用自动校准为通信架构创建ESL功率模型》数模转换器第1-6页，2013年5月。

数字图书馆

[6]

G.Onnebrink、R.Leupers、G.Ascheid和S.Schurmans，《宽松时间TLM模型的黑箱ESL功率估计》，in嵌入式计算机系统国际会议：架构、建模与仿真第366--371页，2016年7月。

[7]

J.Yuan、C.Pixley和A.Aziz，基于约束的验证。施普林格，2006年。

数字图书馆

[8]

F.Haedicke、H.M.Le、D.Große和R.Drechsler，“CRAVE:SystemC的高级约束随机验证环境”，inSoC公司第1-7页，2012年。

[9]

V.Herdt、H.M.Le、D.Große和R.Drechsler，“使用虚拟样机实现基于固件的电源管理的早期验证：一种约束随机方法”FDL公司第1-8页，2017年。

[10]

V.V.Singh和A.Kumar，《权力国家的交叉覆盖》设计和验证会议及展览（DVCon）, 2016.

[11]

T.Schuster、R.Meyer、R.Buchty、L.Fossati和M.Berekovic，“Socrocket——欧洲航天局SoC开发的虚拟平台”，第1-7页，2014年。

[12]

S.Fine和A.Ziv，“使用贝叶斯网络进行功能验证的覆盖定向测试生成”数模转换器，第286-2912003页。

数字图书馆

[13]

C.Ioanides和K.I.Eder，“机器学习自动化的Coverage定向测试生成——综述”ACM事务处理。设计。自动。电子。系统。，第17卷，第7:1-7:21页，2012年1月。

数字图书馆

[14]

L.Liu、D.Sheridan、W.Tuohy和S.Vasudevan，“使用金矿测试覆盖闭合的技术”TCAD公司第790--803页，2012年。

数字图书馆

[15]

P.Dasgupta、M.K.Srivas和R.Mukherjee，“嵌入式电源控制器的正式硬件/软件联合验证”IEEE传输。在CAD上，第33卷，第12期，第2025-2029页，2014年。

[16]

V.Herdt、H.M.Le、D.Große和R.Drechsler，“使用中间验证语言和有状态符号模拟验证SystemC，”TCAD公司, 2018.

[17]

V.Herdt、H.M.Le、D.Große和R.Drechsler，“SystemC的编译符号模拟”国际计算机辅助设计协会第52:1--52:8页，2016年。

数字图书馆

引用人

赫特V集团DDrechsler R公司赫特V集团DDrechsler R公司(2023)Validierung von Firmware-basetem电源管理mit virtuellen原型Verbessertes virtuelles原型10.1007/978-3-031-18174-0_7(189-219)在线发布日期：2023年1月1日
https://doi.org/10.1007/978-3-031-18174-0_7
赫特VDrechsler R公司(2021)使用RISC-V的网络物理系统高级虚拟样机：实现、验证和挑战科学中国信息科学2007年10月10日/11432-020-3308-465:1在线发布日期：2021年12月23日
https://doi.org/10.1007/s11432-020-3308-4
赫特V格罗斯DDrechsler R公司(2020)基于虚拟样机的RISC-V快速准确性能评估*2020年欧洲设计、自动化和测试大会及展览会（日期）10.23919/日期48585.2020.9116522(618-621)在线发布日期：2020年3月
https://doi.org/10.23919/DATE48585.2020.9116522
显示更多引用者

建议

功率上限下最大化性能：硬件、软件和混合技术的比较
ASPLOS’16：第二十届编程语言和操作系统体系结构支持国际会议论文集

功率和散热限制了多核性能扩展。现代处理器的建造使得它们能够维持破坏性的功耗水平，从而需要能够实现处理器功率上限的系统。一个特殊的。。。
阅读更多信息
功率上限下最大化性能：硬件、软件和混合技术的比较
阿斯普洛斯2016

功率和散热限制了多核性能的扩展。现代处理器的建造使得它们能够维持破坏性的功耗水平，从而需要能够实现处理器功率上限的系统。一个特殊的。。。
阅读更多信息
功率上限下最大化性能：硬件、软件和混合技术的比较
阿斯普洛斯2016

功率和散热限制了多核性能扩展。现代处理器的建造使得它们能够维持破坏性的功耗水平，从而需要能够实现处理器功率上限的系统。一个特殊的。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

ASPDAC’19：第24届亚洲和南太平洋设计自动化会议记录

2019年1月

794页

国际标准图书编号：9781450360074

内政部：10.1145/3287624

总主席：
涩谷俊彦
富士通实验室

版权所有©2019 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布，在服务器上发布或重新发布到列表，需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

赞助商

SIGDA:ACM设计自动化特别兴趣小组

合作中

IEICE ESS：工程科学学会电子、信息和通信工程师研究所
IEEE CAS标准
IEEE CEDA
IPSJ SIG-SLDM：日本信息处理学会，SIG系统LSI设计方法

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2019年1月21日

权限

请求对此文章的权限。

检查更新

限定符

研究文章

资金来源

联邦教育与福尚部长

会议

ASPDAC’19

赞助商：

SIGDA公司

ASPDAC’19:第24届亚洲和南太平洋设计自动化会议

2019年1月21日至24日

日本东京

接受率

1454份提交文件的总体接受率为466份，占32%

即将召开的会议

ASPDAC’25

赞助商：
西格达

第30届亚洲及南太平洋设计自动化会议

2025年1月20日至23日

东京，日本

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

6
引文总数
查看引文
82
总下载次数

下载次数（过去12个月）6
下载次数（最近6周）2

其他指标

查看作者指标

引文

引用人

赫特V集团DDrechsler R公司赫特V集团D德雷克斯勒R(2023)Validierung von Firmware-basetem电源管理mit virtuellen原型Verbessertes virtuelles原型10.1007/978-3-031-18174-0_7(189-219)在线发布日期：2023年1月1日
https://doi.org/10.1007/978-3-031-18174-0_7
赫特VDrechsler R公司(2021)使用RISC-V的网络物理系统高级虚拟样机：实现、验证和挑战科学中国信息科学2007年10月10日/11432-020-3308-465:1在线发布日期：2021年12月23日
https://doi.org/10.1007/s11432-020-3308-4
赫特V格罗斯DDrechsler R公司(2020)基于虚拟样机的RISC-V快速准确性能评估*2020年欧洲设计、自动化和测试会议与展览（DATE）10.23919/日期48585.2020.9116522(618-621)在线发布日期：2020年3月
https://doi.org/10.23919/DATE48585.2020.9116522
赫特VDrechsler R公司(2020)增强基于虚拟样机的设计流程的有效技术2020年IEEE计算机学会超大规模集成电路年度研讨会（ISVLSI）10.1109/ISVLSI49217.2020.00 041年10月10日(182-187)在线发布日期：2020年7月
https://doi.org/10.109/ISVLSI49217.2020.00041
引理DGoli M公司格罗斯DDrechsler R公司(2020)面向电子系统级可编程电源管理单元的生成2020年第23届电子电路与系统设计与诊断国际研讨会10.1109/DDECS50862.2020.9095712(1-6)在线发布日期：2020年4月
https://doi.org/10.109/DDECS50862.2020.9095712
Drechlser R号格罗斯D(2019)确保下一代设备的正确性：从可重构到自学习系统2019 IEEE第28届亚洲测试研讨会（ATS）10.1109/ATS47505.2019.00029(159-1595)在线发布日期：2019年12月
https://doi.org/10.109/ATS47505.2019.00029

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子