Hardware verification using ANSI-C programs as a reference. (2003)

by E Clarke, D Kroening
Venue:In Proceedings of ASP-DAC