DocumentCode

416301

Title

Efficient equivalence checking with partitions and hierarchical cut-points

Author

Anastasakis, Demosthenes ; McIlwain, L. ; Pilarski, Slawomir

Author_Institution

Synopsys, Inc., Hillsboro, OR

fYear

2004

fDate

7-11 July 2004

Firstpage

539

Lastpage

542

Keywords

Impedance matching; Logic design; Permission; Pins; Tellurium;

fLanguage

English

Publisher

ieee

Conference_Titel

Design Automation Conference, 2004. Proceedings. 41st

Conference_Location

San Diego, CA, USA

ISSN

0738-100X

Print_ISBN

1-51183-828-8

Type

conf

Filename

1322540