TY - GEN
T1 - Representation and symbolic manipulation of linearly inductive Boolean functions
AU - Gupta, Aarti
AU - Fisher, Allan L.
PY - 1993
Y1 - 1993
N2 - We consider a class of practically useful Boolean functions, called Linearly Inductive Functions (LIFs), and present a canonical representation as well as algorithms for their automatic symbolic manipulation. LIFs can be used to capture structural induction in parameterized circuit descriptions, whereby our LIF representation provides a fixed-sized representation for all size instances of a circuit. Furthermore, since LIFs can naturally capture the temporal induction inherent in sequential system descriptions, our representation also provides a canonical form for sequential functions. This allows for a wide range of applications of symbolic LIF manipulation in the verification and synthesis of digital systems. We also present practical results from a preliminary implementation of a general purpose LIF package.
AB - We consider a class of practically useful Boolean functions, called Linearly Inductive Functions (LIFs), and present a canonical representation as well as algorithms for their automatic symbolic manipulation. LIFs can be used to capture structural induction in parameterized circuit descriptions, whereby our LIF representation provides a fixed-sized representation for all size instances of a circuit. Furthermore, since LIFs can naturally capture the temporal induction inherent in sequential system descriptions, our representation also provides a canonical form for sequential functions. This allows for a wide range of applications of symbolic LIF manipulation in the verification and synthesis of digital systems. We also present practical results from a preliminary implementation of a general purpose LIF package.
UR - http://www.scopus.com/inward/record.url?scp=0027878159&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0027878159&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:0027878159
SN - 0818644923
T3 - Proc 1993 IEEE ACM Int Conf Comput Aided Des
SP - 192
EP - 199
BT - Proc 1993 IEEE ACM Int Conf Comput Aided Des
A2 - Anon, null
PB - Publ by IEEE
T2 - Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design
Y2 - 7 November 1993 through 11 November 1993
ER -