×
2006
Smart-Lint: Improving the Verification Flow.
[DOI]
Itai Yarom
,
Viji Patil
Proceedings of the Hardware and Software, 2006