不莱梅大学的研究人员发表了一篇题为“EDDY：具有动态内存管理和减少碎片的多核 BDD 包”的技术论文。
摘要
“近年来，硬件系统的复杂性显着增加。由于复杂性不断增加，需要不断提高硬件设计过程的质量。这导致设计人员努力寻求更高效的数据结构和对其进行操作的算法，以通过模型检查等验证技术保证此类系统的正确行为并满足上市时间限制。二元决策图 (BDD) 是一种合适的数据结构，因为它提供了布尔函数的规范紧凑表示、给定的变量顺序以及操作它们的有效算法。然而，降序BDD也面临着挑战：一些复杂的实际功能的BDD构建需要大量的内存消耗，并且以BDD包的形式实现的使用强烈依赖于应用程序。
为了解决这些问题，本文提出了一种名为“自己工程师决策图”(EDDY) 的新型多核包，具有动态内存管理和减少碎片的功能。组合电路和模型检查的 BDD 基准实验表明，与最先进的封装相比，使用 EDDY 可以显着提高性能。”
寻找技术 纸在这里. 2023 年 XNUMX 月出版。
鲁恩·克劳斯、迈赫兰·戈利和罗尔夫·德雷克斯勒。 2023. EDDY：具有动态内存管理和减少碎片的多核 BDD 包。第 28 届亚洲和南太平洋设计自动化会议 (ASPDAC ’23)，16 年 19 月 2023 日至 6 日，日本东京。 ACM，美国纽约州纽约市，10.1145 页。 https://doi.org/3566097.3567913/XNUMX。
- SEO 支持的内容和 PR 分发。 今天得到放大。
- 柏拉图区块链。 Web3 元宇宙智能。 知识放大。 访问这里。
- Sumber: https://semiengineering.com/index-based-multi-core-bdd-package-with-dynamic-memory-management-reduced-fragmentation/
