A Comparison of Free BDDs and Transformed BDDs |
| |
Authors: | Detlef Sieling Ingo Wegener |
| |
Affiliation: | (1) FB Informatik, LS 2, Univ. Dortmund, 44221 Dortmund, Germany;(2) FB Informatik, LS 2, Univ. Dortmund, 44221 Dortmund, Germany |
| |
Abstract: | Ordered binary decision diagrams (OBDDs) introduced by Bryant (IEEE Trans. on Computers, Vol. 35, pp. 677–691, 1986) have found a lot of applications in verification and CAD. Their use is limited if the OBDD size of the considered functions is too large. Therefore, a variety of generalized BDD models has been presented, among them FBDDs (free BDDs) and TBDDs (transformed BDDs). Here the quite tight relations between these models are revealed and their advantages and disadvantages are discussed. |
| |
Keywords: | ordered binary decision diagrams free binary decision diagrams transformed binary decision diagrams circuit verification |
本文献已被 SpringerLink 等数据库收录! |
|