不来梅大学的研究人员发表了一篇题为“EDDY:具有动态内存管理和减少碎片的多核BDD包”的技术论文。
摘要
“近年来，硬件系统的复杂性显著增加。由于复杂性的不断增加，需要不断提高硬件设计过程的质量。这导致设计人员努力获得更有效的数据结构和算法，通过模型检查等验证技术来保证这些系统的正确行为，并满足上市时间限制。二进制决策图(BDD)是一种合适的数据结构，因为它提供了布尔函数的规范紧凑表示、给定的变量顺序和操作它们的有效算法。然而，简化有序的BDD也有挑战:一些复杂的实用函数的BDD构造需要大量的内存消耗，并且以BDD包形式实现的使用强烈依赖于应用程序。
为了解决这些问题，本文提出了一种新颖的多核包，称为工程师决策图自己(EDDY)，具有动态内存管理和减少碎片。对组合电路和模型检查的BDD基准测试的实验表明，与最先进的封装相比，使用EDDY可以显著提高性能。”
找到技术纸在这里．2023年1月出版。
卢恩·克劳斯，迈赫兰·戈利和罗尔夫·德雷克斯勒，2023年。EDDY:具有动态内存管理和减少碎片的多核BDD包。第28届亚洲和南太平洋设计自动化会议(ASPDAC ' 23)， 2023年1月16日至19日，日本东京。ACM，纽约，纽约，美国，6页。https://doi.org/10.1145/3566097.3567913。
Imec的计算路线图;美国对华为为目标;美印。特遣部队;China-Bolivia交易;布鲁克揭开了白光干涉测量系统;三星量化可持续性;麦肯锡指出了美国晶圆厂建设的问题;发光二极管。
留下回复