DocumentCode
1285071
Title
Efficient symbolic computation of generalised spectra
Author
Chang, Chip-Hong ; Falkowski, B.J.
Author_Institution
French Singapore Inst., Nanyang Polytech., Singapore
Volume
33
Issue
22
fYear
1997
fDate
10/23/1997 12:00:00 AM
Firstpage
1837
Lastpage
1838
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;
fLanguage
English
Journal_Title
Electronics Letters
Publisher
iet
ISSN
0013-5194
Type
jour
DOI
10.1049/el:19971290
Filename
630301
Link To Document