The dissertation introduces the basic concept, advantages and development directions of BDD, summarize the design algorithm, advantages and behaviors of un-quoting domain BDD, also improve the structure s function.
本文介绍了BDD的基本概念、优势及发展方向,总结了无引用计数域的BDD包的设计思路、优势和特点,并对其中一些没有完成的功能进行设计完善。
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号