Edmund M. Clarke, Daniel Kroening: Hardware verification using ANSI-C programs as a reference. ASP-DAC 2003: 308-311