论文研究面向多核环境的BDD工具设计与优化 .pdf

上传：xin9707635 浏览： 27 推荐： 0 文件：PDF 大小：530.05KB 上传时间：2020-05-14 17:08:09 版权申诉

面向多核环境的BDD工具设计与优化，施佳鑫，陈榕，针对传统二分决策图(BDD)可扩展性（Scalability）问题，提出了一种面向多核处理器的并行BDD库的方法，利用顺序锁(seqlock)以及原子性比较��