DocumentCode

3640496

Title

Formal Verification Of Multi-chip Designs

Author

T. Chan;S. Hsiung

fYear

1992

fDate

6/14/1905 12:00:00 AM

Publisher

ieee

Conference_Titel

Custom Integrated Circuits Conference, 1992., Proceedings of the IEEE 1992

Print_ISBN

0-7803-0246-X

Type

conf

DOI

10.1109/CICC.1992.591132

Filename

5727292