@inproceedings{d7f4f007c7d641fba454c76b8d7d41f7,
title = "Representation and symbolic manipulation of linearly inductive Boolean functions",
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.",
author = "Aarti Gupta and Fisher, \{Allan L.\}",
year = "1993",
language = "English (US)",
isbn = "0818644923",
series = "Proc 1993 IEEE ACM Int Conf Comput Aided Des",
publisher = "Publ by IEEE",
pages = "192--199",
editor = "Anon",
booktitle = "Proc 1993 IEEE ACM Int Conf Comput Aided Des",
note = "Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design ; Conference date: 07-11-1993 Through 11-11-1993",
}