Decision diagrams are graphical structures based on Shannon's decomposition. They have been extensively used for representing and manipulating logic functions in areas such as circuit verification, ...

Symbolic circuit analysis is concerned with analytical construction of circuit response in the frequency (or time) domain, for which an efficient data structure is required. Recent research has ...