Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design最新文献

筛选
英文 中文
Session details: Breakthroughs in Synthesis - Infrastructure and ML Assist I (Virtual) 会议细节:合成的突破-基础设施和ML辅助I(虚拟)
C. Pilato, M. Velev
{"title":"Session details: Breakthroughs in Synthesis - Infrastructure and ML Assist I (Virtual)","authors":"C. Pilato, M. Velev","doi":"10.1145/3578442","DOIUrl":"https://doi.org/10.1145/3578442","url":null,"abstract":"","PeriodicalId":367046,"journal":{"name":"Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115136305","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: The Role of Graph Neural Networks in Electronic Design Automation 会议细节:图神经网络在电子设计自动化中的作用
J. Rajendran
{"title":"Session details: The Role of Graph Neural Networks in Electronic Design Automation","authors":"J. Rajendran","doi":"10.1145/3578426","DOIUrl":"https://doi.org/10.1145/3578426","url":null,"abstract":"","PeriodicalId":367046,"journal":{"name":"Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design","volume":"158 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115284401","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
QCIR QCIR
Mingyu Chen, Yu Zhang, Yong-Sheng Li, Zhen Wang, Jun Li, Xiangyang Li
{"title":"QCIR","authors":"Mingyu Chen, Yu Zhang, Yong-Sheng Li, Zhen Wang, Jun Li, Xiangyang Li","doi":"10.1145/3508352.3549405","DOIUrl":"https://doi.org/10.1145/3508352.3549405","url":null,"abstract":"Due to multiple limitations of quantum computers in the NISQ era, quantum compilation efforts are required to efficiently execute quantum algorithms on NI SQ devices Program rewriting based on pattern matching can improve the generalization ability of compiler optimization. However, it has rarely been explored for quantum circuit optimization, further considering physical features of target devices.In this paper, we propose a pattern-matching based quantum circuit optimization framework QCiR with a novel pattern description format, enabling the user-configured cost model and two categories of patterns, i.e., generic patterns and folding patterns. To get better compilation latency, we propose a DAG representation of quantum circuit called QCir-DAG, and QVF algorithm for subcircuit matching. We implement continuous single-qubit optimization pass constructed by QCiR, achieving 10% and 20% optimization rate for benchmarks from Qiskit and ScaffCC, respectively. The practicality of QCiR is demonstrated by execution time and experimental results on the quantum simulator and quantum devices.","PeriodicalId":367046,"journal":{"name":"Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121038677","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: Crossbars, Analog Accelerators for Neural Networks, and Neuromorphic Computing Based on Printed Electronics 会议细节:横杆,神经网络模拟加速器,基于印刷电子的神经形态计算
H. Amrouch, S. Tan
{"title":"Session details: Crossbars, Analog Accelerators for Neural Networks, and Neuromorphic Computing Based on Printed Electronics","authors":"H. Amrouch, S. Tan","doi":"10.1145/3578436","DOIUrl":"https://doi.org/10.1145/3578436","url":null,"abstract":"","PeriodicalId":367046,"journal":{"name":"Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132470316","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: Optimizing Digital Design Aspects: From Gate Sizing to Multi-Bit Flip-Flops 会议细节:优化数字设计方面:从门尺寸到多比特触发器
Amit Gupta, Kerim Kalafala
{"title":"Session details: Optimizing Digital Design Aspects: From Gate Sizing to Multi-Bit Flip-Flops","authors":"Amit Gupta, Kerim Kalafala","doi":"10.1145/3578450","DOIUrl":"https://doi.org/10.1145/3578450","url":null,"abstract":"","PeriodicalId":367046,"journal":{"name":"Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design","volume":"179 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114849151","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: Smart Embedded Systems (Virtual) 会议详情:智能嵌入式系统(虚拟)
Leonidas Kosmidis, Pietro Mercati
{"title":"Session details: Smart Embedded Systems (Virtual)","authors":"Leonidas Kosmidis, Pietro Mercati","doi":"10.1145/3578462","DOIUrl":"https://doi.org/10.1145/3578462","url":null,"abstract":"","PeriodicalId":367046,"journal":{"name":"Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130414731","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: In-Memory Computing Revisited 会话详细信息:内存计算重访
Biresh Kumar Joardar, Ulf Schlichtmann
{"title":"Session details: In-Memory Computing Revisited","authors":"Biresh Kumar Joardar, Ulf Schlichtmann","doi":"10.1145/3578457","DOIUrl":"https://doi.org/10.1145/3578457","url":null,"abstract":"","PeriodicalId":367046,"journal":{"name":"Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129021232","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: Scalable Verification Technologies 会话详细信息:可扩展验证技术
Viraphol Chaiyakul, A. Orailoglu
{"title":"Session details: Scalable Verification Technologies","authors":"Viraphol Chaiyakul, A. Orailoglu","doi":"10.1145/3578449","DOIUrl":"https://doi.org/10.1145/3578449","url":null,"abstract":"","PeriodicalId":367046,"journal":{"name":"Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126213773","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: Emerging Machine Learning Primitives: From Technology to Application 会议详情:新兴机器学习原语:从技术到应用
Dharanidhar Dang, Hai Helen Lee
{"title":"Session details: Emerging Machine Learning Primitives: From Technology to Application","authors":"Dharanidhar Dang, Hai Helen Lee","doi":"10.1145/3578473","DOIUrl":"https://doi.org/10.1145/3578473","url":null,"abstract":"","PeriodicalId":367046,"journal":{"name":"Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design","volume":"109 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121178697","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: Tutorial: Polynomial Formal Verification: Ensuring Correctness under Resource Constraints 教程:多项式形式验证:确保资源约束下的正确性
R. Drechsler
{"title":"Session details: Tutorial: Polynomial Formal Verification: Ensuring Correctness under Resource Constraints","authors":"R. Drechsler","doi":"10.1145/3578448","DOIUrl":"https://doi.org/10.1145/3578448","url":null,"abstract":"","PeriodicalId":367046,"journal":{"name":"Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114300481","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信