Unbounded safety verification for hardware using software analyzers

Rajdeep Mukherjee‚ Peter Schrammel‚ Daniel Kroening and Tom Melham