Writing, verifying, and exploiting formal specifications for hardware designs

Authors:
David L. Dill;Kanna Shimizu
Affiliations:
-;-
Venue:
Writing, verifying, and exploiting formal specifications for hardware designs
Year:
2002

Citing 0
Cited 1

Reactivity in systemC transaction-level models

HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing

Quantified Score

Hi-index	0.00

Visualization

Abstract