Ordered Binary Decision Diagram (OBDD) is a directed acyclic graph, which has been used as an efficient tool to reduce the amount of space and computation required for verifying digital circuits by removing redundant copies ...
Ordered Binary Decision Diagra
m (OBDD) has been used to
reduce the amount of space and
computational required for verify
ing digital circuits by removing
copies of sub-functions in
Boolean function. An image can ...