DocumentCode

2687647

Title

Towards a symbolic logic minimization algorithm

Author

Coudert, Olivier ; Madre, Jean Christophe

Author_Institution

Bull Corporate Research Center, Rue Jean Jaures

fYear

1993

fDate

3-6 Jan. 1993

Firstpage

329

Lastpage

334

Keywords

Boolean functions; Costs; Data structures; Logic; Minimization methods;

fLanguage

English

Publisher

ieee

Conference_Titel

VLSI Design, 1993. Proceedings. The Sixth International Conference on

Conference_Location

Bombay, India

ISSN

1063-9667

Print_ISBN

0-8186-3180-5

Type

conf

DOI

10.1109/ICVD.1993.669705

Filename

669705