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

fYear

1991

fDate

21-21 June 1991

Firstpage

170

Lastpage

175

Keywords

Automata; Circuit synthesis; Contracts; Cost function; Encoding; Heuristic algorithms; Logic; Minimization; Permission; Polynomials;

fLanguage

English

Publisher

ieee

Conference_Titel

Design Automation Conference, 1991. 28th ACM/IEEE

Conference_Location

IEEE

Print_ISBN

0-89791-395-7

Type

Filename

979708

Link To Document