Solver technology for system-level to RTL equivalence checking. - Alfred Kölbl; Reily Jacoby; Himanshu Jain; Carl Pixley (DATE, 2009)