Partial binary decision diagrams
Proceedings of the Thirty-Fourth Southeastern Symposium on System Theory (Cat. No.02EX540) - Trang 422-425
Tóm tắt
Decision diagrams provide compact representations for discrete functions. There are some functions for which binary decision diagrams reach exponential size. Presented here is a method of representing Boolean functions as multiple partial decision diagrams.
Từ khóa
#Data structures #Boolean functions #Binary decision diagrams #Very large scale integration #Circuits #EquationsTài liệu tham khảo
10.1109/12.73590
10.1109/TC.1986.1676819
friedman, 1987, finding the optimal variable ordering for binary decision diagrams, 24th ACM/IEEE Design Automation Conference, 348, 10.1145/37888.37941
10.1007/978-1-4757-2892-7
10.1109/EDAC.1991.206348
narayan, 1995, Efficient variable ordering and partial representation algorithms, Int'l Conf on VLSI Design, 81
10.1109/12.537122
somenzi, 1998, CUDD CU Decision Diagram Package Release 2 3 0
10.1109/DAC.1990.114826