Title :
A comment on "Graph-based algorithm for Boolean function manipulation"
Author :
Dubrova, Elena ; Macchiarulo, Luca
Author_Institution :
Dept. of Electron., R. Inst. of Technol., Stockholm, Sweden
fDate :
11/1/2000 12:00:00 AM
Abstract :
In this paper, a slight error in the paper of Bryant (ibid., vol.35, no.8, p.677-691, Aug. 1986 is corrected: It was stated that, under a certain ordering restriction, composition of two Reduced Ordered Binary Decision Diagrams (ROBDDs) results in a reduced OBDD. We show a counterexample and explore under which conditions this statement is incorrect.
Keywords :
Boolean functions; binary decision diagrams; Boolean function manipulation; ROBDDs; Reduced Ordered Binary Decision Diagrams; graph-based algorithm; reduced OBDD; Boolean functions; Data structures; Error correction; Logic design; Sufficient conditions;
Journal_Title :
Computers, IEEE Transactions on
