Current trends in hardware verification and automated theorem proving

Authors:
Graham Birtwistle;P. A. Subrahmanyam
Affiliations:
-;-
Venue:
Current trends in hardware verification and automated theorem proving
Year:
1989

Citing 0
Cited 3

Design and verification of the Rollback Chip using HOP: a case study of formal methods applied to hardware design

ACM Transactions on Computer Systems (TOCS)
The automatic generation of functional test vectors for Rambus designs

DAC '96 Proceedings of the 33rd annual Design Automation Conference
Tool support for formal methods

ICSE '91 Proceedings of the 13th international conference on Software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract