Proof Strategies for Hardware Verification

TitleProof Strategies for Hardware Verification
Publication TypeConference Paper
Year of Publication1996
AuthorsKrishnaprasad Thirunarayan, Robert Eastham
Conference NameProof Strategies for Hardware Verification
Full Text

Robert Eastham and K. Thirunarayan, Proof Strategies for Hardware Verification, In: Proceedings of National Aerospace and Electronics Conference, pp. 451-458, 1996.
pages: 451-458
year: 1996
publishtolibrary: True
organization: WSU-CSE
venue name: National Aerospace and Electronics Conference
hasURL: http://knoesis.wright.edu/library/publications/proofHV1996.pdf
hasBookTitle: Proceedings National Aerospace and Electronics Conference