Representation and symbolic manipulation of linearly inductive Boolean functions

Aarti Gupta, Allan L. Fisher

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationProc 1993 IEEE ACM Int Conf Comput Aided Des
Editors Anon
PublisherPubl by IEEE
Pages192-199
Number of pages8
ISBN (Print)0818644923
StatePublished - Dec 1 1993
Externally publishedYes
EventProceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design - Santa Clara, CA, USA
Duration: Nov 7 1993Nov 11 1993

Publication series

NameProc 1993 IEEE ACM Int Conf Comput Aided Des

Other

OtherProceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design
CitySanta Clara, CA, USA
Period11/7/9311/11/93

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint Dive into the research topics of 'Representation and symbolic manipulation of linearly inductive Boolean functions'. Together they form a unique fingerprint.

  • Cite this

    Gupta, A., & Fisher, A. L. (1993). Representation and symbolic manipulation of linearly inductive Boolean functions. In Anon (Ed.), Proc 1993 IEEE ACM Int Conf Comput Aided Des (pp. 192-199). (Proc 1993 IEEE ACM Int Conf Comput Aided Des). Publ by IEEE.