Abstract
AbstractDecision diagrams (DDs) are an important data structure in computer science with applications ranging from circuit design and verification to machine learning. Most prominently, binary DDs are commonly used to succinctly represent Boolean functions. Due to the practical importance of DDs, there is an ongoing quest for high-performance software libraries supporting the construction and manipulation of DDs. With OxiDD, we present a new framework for DDs that focuses on safety, concurrency, and modularity. Following a highly modular design we implement OxiDD in Rust, which facilitates the integration of various kinds of DDs such as MTBDDs, ZBDDs, and TDDs, all within safe code also in a concurrent setting. Already in its initial release, OxiDD does not compromise performance, which we show to be on par with or even better than established highly optimized DD libraries.
Publisher
Springer Nature Switzerland
Reference42 articles.
1. Akers, S.B.: Binary decision diagrams. IEEE Transactions Computers 27(6), 509–516 (Jun 1978). https://doi.org/10.1109/TC.1978.1675141
2. Aloul, F.A., Markov, I.L., Sakallah, K.A.: MINCE: A static global variable-ordering heuristic for SAT search and BDD manipulation. Journal of Universal Computer Science 10(12), 1562–1596 (2004). https://doi.org/10.3217/jucs-010-12-1562
3. Amarú, L., Gaillardon, P.E., De Micheli, G.: The EPFL combinational benchmark suite. In: Proceedings of the 24th International Workshop on Logic & Synthesis (IWLS) (2015), https://infoscience.epfl.ch/record/207551
4. Bahar, R.I., Frohm, E.A., Gaona, C.M., Hachtel, G.D., Macii, E., Pardo, A., Somenzi, F.: Algebraic decision diagrams and their applications. In: Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design. pp. 188–191. ICCAD ’93, IEEE Computer Society Press, Washington, DC, USA (1993). https://doi.org/10.1109/ICCAD.1993.580054
5. Baier, C., Clarke, E.M., Hartonas-Garmhausen, V., Kwiatkowska, M., Ryan, M.: Symbolic model checking for probabilistic processes. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) Automata, Languages and Programming. pp. 430–440. Springer Berlin Heidelberg, Berlin, Heidelberg (1997)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Configuring BDD Compilation Techniques for Feature Models;28th ACM International Systems and Software Product Line Conference;2024-09-02
2. Template Decision Diagrams for Meta Control and Explainability;Communications in Computer and Information Science;2024
3. Coyan: Fault Tree Analysis – Exact and Scalable;Lecture Notes in Computer Science;2024