2006
Smart-Lint: Improving the Verification Flow.
Proceedings of the Hardware and Software, 2006