研究文章

一种适用于低功耗嵌入式系统的可扩展符号仿真工具

作者:

子散列塞图穆鲁根,

沙申克对冲,

哈里切鲁佩利、和

约翰萨托里作者信息和声明

DAC’22：第59届ACM/IEEE设计自动化会议记录

2022年7月

页175-180

https://doi.org/10.1145/3489517.3530433

出版:2022年8月23日出版历史记录

获取访问权限

摘要

最近的工作证明了使用符号模拟在应用处理器对上执行硬件-软件联合分析的有效性，并开发了各种硬件和软件设计技术和优化，从提供系统安全保证到自动生成特定于应用程序的定制处理器。尽管它们具有潜在的好处，但当前用于软硬件协同分析的最先进的符号仿真工具的适用性受到了限制，因为之前的工作依赖于为要模拟的每个处理器设计构建自定义仿真工具的昂贵过程。此外，以前的工作没有描述如何将符号分析技术扩展到其他处理器设计。

为了将这种技术推广到任何处理器设计中，我们提出了一种自定义符号模拟器，它使用iverilog执行符号行为模拟。利用开源综合与仿真工具iverilog，我们实现了一个用于软硬件协同分析的设计认知符号仿真工具。为了演示我们的工具的通用性，我们将符号分析应用于具有不同ISA的三个嵌入式处理器：bm32（基于MIPS的处理器）、darkRiscV（基于RISC-V的处理器）和openMSP430（基于MSP430）。我们使用分析结果为每个设计生成定制处理器，并观察到这些处理器上的门计数分别减少了27%、16%和56%。我们的结果证明了我们的仿真工具的多功能性，以及每个设计在符号分析和定制方法方面的独特性。

工具书类

[1]

内森·布莱耶（Nathan Bleier）、约翰·萨托里（John Sartori）和拉凯什·库马尔（Rakesh Kumar）。2021.物业驱动的简化ISA硬件自动生成。在2021年第58届ACM/IEEE设计自动化会议（DAC）。IEEE，349--354。

[2]

雅各布·博格森。2012年，超低功耗先驱：TI利用新的“金刚狼”MCU平台将MCU总功耗削减了50%。德克萨斯仪器公司白皮书(2012). http://www.ti.com/lit/wp/play019a/slay019a.pdf

[3]

卡登斯。【未注明日期】。《接触用户指南》。网址：http://www.cadence.com/

[4]

Hari Cherupali、Henry Duwe、Weidong Ye、Rakesh Kumar和John Sartori，2017年。针对超低面积和功率限制应用的定制处理器。在2017年ACM/IEEE第44届计算机体系结构国际年会（ISCA）。41--54.

数字图书馆

[5]

Hari Cherupalli、Henry Duwe、Weidong Ye、Rakesh Kumar和John Sartori，2017年。确定超低功耗处理器的特定应用峰值功率和能量要求。ACM事务处理。计算机系统（TOCS）35, 3 (2017), 1--33.

数字图书馆

[6]

Hari Cherupalli、Henry Duwe、Weidong Ye、Rakesh Kumar和John Sartori，2017年。为嵌入式处理器启用有效的模块无关功率选通。在2017年IEEE高性能计算机体系结构（HPCA）国际研讨会。IEEE，157--168。

[7]

Hari Cherupalli、Henry Duwe、Weidong Ye、Rakesh Kumar和John Sartori，2017年。物联网系统基于软件的网关级信息流安全。在程序。第50届IEEE/ACM国际微体系结构研讨会。328--340.

数字图书馆

[8]

Hari Cherupalli、Rakesh Kumar和John Sartori，2016年。在超低功耗嵌入式系统中利用动态时间延迟提高能效。在计算机体系结构（ISCA），2016年第43届年度国际研讨会。电气与电子工程师协会。

数字图书馆

[9]

黑暗生活。2021.DarkRISCV开源riscv实现。(2021). https://github.com/darklife/darkriscv

[10]

Sunil R Das、Sujoy Mukherjee、Emil M Petriu、Mansour H Assaf、Mehmet Sahinoglu和Wen-Ben Jone。2006.一种改进的基于verilog的故障模拟方法，应用于ISCAS基准电路。在2006年IEEE仪器和测量技术会议记录。IEEE，1902-1907年。

[11]

奥利维尔·杰拉德。2018年，openMSP430，一个用Verilog编写的可合成16位微控制器内核。(2018). https://opencores.org/projects/openmsp430

[12]

保罗·格里斯、埃里克·赫尔曼、拉里·泰勒和凯文·沃尔什。2005年，设计植入式医疗集成电路的挑战和制约因素。IEEE设备和材料可靠性汇刊5, 3 (2005), 435--444.

[13]

O吉拉德。2013.OpenMSP430项目。可在opencores.org上获取(2013).

[14]

G.Hackmann、Weijun Guo、Guirong Yan、Zhuoxiong Sun、Chenyang Lu和S.Dawke。2014.无线传感器网络分布式结构健康监测的网络物理代码设计。并行和分布式系统，IEEE汇刊25,1（2014年1月），63-72。

数字图书馆

[15]

Shashank Hegde、Subhash Sethumurugan、Hari Cherupalli、Henry Duwe和John Sartori，2021年。超低功耗嵌入式系统的约束保守状态符号协同分析。在2021年第26届亚洲及南太平洋设计自动化会议（ASP-DAC）。318--324.

[16]

BK Charlotte Kjellander、Wiljan TT Smaal、Kris Myny、Jan Genoe、Wim Dehaene、Paul Heremans和Gerwin H Gelinck。2013年，优化了带有喷墨打印小分子半导体有源层的柔性8位RFID应答器的电路设计。有机电子学14, 3 (2013), 768--774.

[17]

米歇尔·马格诺、卢卡·贝尼尼、克里斯蒂安·斯帕格诺和E·波波维奇。2013.用于医疗监测应用的可穿戴低功耗干表面无线传感器节点。在无线和移动计算、网络和通信（WiMob），2013年IEEE第九届国际会议。IEEE，189-195年。

[18]

Veni Mohan、Akhilesh Iyer和John Sartori，2018年。为高效节能的超低功耗嵌入式系统增强工作负载相关的电压缩放。在2018年第55届ACM/ESDA/IEEE设计自动化会议（DAC）。1--6.

[19]

Kris Myny、Steve Smout、Maarten Rockelé、Ajay Bhoolokam、Tung Huei Ke、Soeren Steudel、Brian Cobb、Aashini Gulati、Francisco Gonzalez Rodriguez、Koji Obata等，2014年。带有喷墨打印可编程存储器的薄膜微处理器。科学报告4 (2014), 7398.

[20]

K.Myny、E.van Veenendaal、G.H.Gelinck、J.Genoe、W.Dehaene和P.Heremans。2011.塑料箔上的8b有机微处理器。在2011年IEEE国际固态电路会议。322--324.

[21]

Seetharam Narasimhan、Hillel J Chiel和Swarup Bhunia。2011.用于植入式神经接口微系统的超低功耗和稳健的数字信号处理硬件。IEEE传输。生物医学电路与系统5, 2 (2011), 169--178.

[22]

Chulsung Park、Pai H Chou、Ying Bai、Robert Matthews和Andrew Hibbs。2006.一种超可穿戴、无线、低功耗的心电图监测系统。在2006年生物医学电路和系统会议。生物科学院2006。电气与电子工程师协会。IEEE，241--244。

[23]

本杰明·兰斯福德、雅各布·索伯和凯文·傅。2012.纪念品：系统支持RFID规模设备上的长时间运行计算。Acm Sigplan通知47, 4 (2012), 159--170.

[24]

C.Roth、L.K.John和B.K.Lee。2015使用Verilog进行数字系统设计。Cengage学习。https://books.google.com/books？id=Qi1BBAAQBAJ

[25]

简介。【未注明日期】。Design Compiler用户指南。网址：http://www.synopsys.com/

[26]

简介。【未注明日期】。VCS/VCSi用户指南。网址：http://www.synopsys.com/

[27]

Andrew Waterman、Yunsup Lee、David A.Patterson和Krste Asanović。2014RISC-V指令集手册，第一卷：用户级ISA，2.0版。技术报告UCB/EECS-2014-54。加州大学伯克利分校EECS系。http://www2.eecs.berkeley.edu/Pubs/TechRpts/2014/eecs-2014-54.html

[28]

维基百科。2016年，无线传感器节点列表。https://en.wikipedia.org/wiki/List_of_wireless_sensor_nodes网站[在线；2016年4月7日访问]。

[29]

斯蒂芬·威廉姆斯和迈克尔·巴克斯特。2002年，Icarus Verilog:一年多后开放源码Verilog。Linux J。2002年，99（2002年7月），3。

[30]

Ross Yu和Thomas Watteyne。2013.物联网的可靠、低功耗无线传感器网络：使无线传感器像Web服务器一样可访问。线性技术(2013). http://cds.linear.com/docs/en/white-paper/wp003.pdf

[31]

Bo Zhai、Sanjay Pant、Leyla Nazhandali、Scott Hanson、Javin Olson、Anna Reeves、Michael Minuth、Ryan Helfand、Todd Austin、Dennis Sylvester等，2009年。节能的亚阈值处理器设计。超大规模集成（VLSI）系统，IEEE汇刊17, 8 (2009), 1127--1137.

建议

用于嵌入式系统的可扩展向量媒体处理器
阅读更多信息
VLIW嵌入式体系结构的低功耗数据转发

提出了一种基于转发（或旁路）硬件的嵌入式超长指令字（VLIW）处理器体系结构的低功耗设计方法，它将级间流水线寄存器的操作数直接提供给处理器的输入端。。。
阅读更多信息
针对低功耗嵌入式系统优化基于CAM的指令缓存设计

能耗和功耗是嵌入式系统设计中的重要问题，随着工艺几何形状的细化、频率的提高、管线的加深和问题设计的扩大，能耗和功耗将变得更加重要。特别是。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

DAC’22：第59届ACM/IEEE设计自动化会议记录

2022年7月

1462页

国际标准图书编号：9781450391429

内政部：10.1145/3489517

总主席：
罗布·奥萨纳
恩智浦

版权所有©2022 ACM。

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

赞助商

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

出版商

计算机协会

美国纽约州纽约市

出版历史记录

出版：2022年8月23日

权限

请求对此文章的权限。

检查更新

限定符

研究文章

资金来源

国家科学基金会

会议

DAC’22

赞助商：

SIGDA公司

DAC’22:第59届ACM/IEEE设计自动化会议

2022年7月10日至14日

加利福尼亚州，旧金山

接受率

5499份提交文件的总体接受率为1770，32%

即将召开的会议

25年DAC

赞助商：
西格达

第62届ACM/IEEE设计自动化会议

2025年6月22日至26日

旧金山，加利福尼亚州，美国

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

0
引文总数
417
总下载次数

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

其他指标

查看作者指标

引文

视图选项

获取访问权限

登录选项

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

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

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

电子阅读器

媒体

数字

其他

桌子