DocumentCode

922283

Title

Equivalence checking at Cray Research

Author

Mctavish, Doug

Volume

33

Issue

6

fYear

1996

fDate

6/1/1996 12:00:00 AM

Firstpage

71

fLanguage

English

Journal_Title

Spectrum, IEEE

Publisher

ieee

ISSN

0018-9235

Type

jour

DOI

10.1109/MSPEC.1996.499956

Filename

499956