波特兰州立大学和英特尔的研究人员发表了一篇题为“敏捷硬件设计的等价性检查框架”的新技术论文。
摘要
敏捷硬件设计使设计人员能够有效地产生新的设计迭代。等价性检查是确保新设计迭代符合其规范的关键。本文介绍了一个用HalideIR表示的硬件设计等价性检查框架。HalideIR是深度学习和图像处理等软件领域中流行的中间表示,在敏捷硬件设计中越来越多地使用。我们开发了一个与HalideIR无缝集成的全自动等价性检查工作流,并利用敏捷硬件设计的增量特性来扩展等价性检查。
找到这里是技术文件.2023年1月出版。
王勇,谢峰,杨志忠,杨洁,杨洁(2023,1月)。敏捷硬件设计的等价性检查框架。第28届亚洲和南太平洋设计自动化会议论文集(第26-32页)。
Imec的计算路线图;美国对华为为目标;美印。特遣部队;China-Bolivia交易;布鲁克揭开了白光干涉测量系统;三星量化可持续性;麦肯锡指出了美国晶圆厂建设的问题;发光二极管。
留下回复