Title :
A framework for satisfying input and output encoding constraints
Author :
SaIdanha, A. ; Villa, Tiziano ; Brayton, Robert K. ; Sangiovanni-Vincentelli, Alberto L.
Author_Institution :
University of California
Keywords :
Automata; Circuit synthesis; Contracts; Cost function; Encoding; Heuristic algorithms; Logic; Minimization; Permission; Polynomials;
Conference_Titel :
Design Automation Conference, 1991. 28th ACM/IEEE
Conference_Location :
IEEE
Print_ISBN :
0-89791-395-7
