Title :
Efficient symbolic computation of generalised spectra
Author :
Chang, Chip-Hong ; Falkowski, B.J.
Author_Institution :
French Singapore Inst., Nanyang Polytech., Singapore
fDate :
10/23/1997 12:00:00 AM
Abstract :
An efficient algorithm is presented for the calculation of any generalised spectrum represented as an algebraic decision diagram (ADD) from an ordered binary decision diagram (OBDD) of a Boolean function, and vice versa
Keywords :
Boolean functions; logic design; mathematics computing; symbol manipulation; transforms; Boolean function; OBDD; algebraic decision diagram; generalised spectra; ordered BDD; ordered binary decision diagram; symbolic computation;
Journal_Title :
Electronics Letters
DOI :
10.1049/el:19971290
