Prakash Math, David Hoenig: Janus: A novel use of Formal Verification for targeted behavioral equivalence. HLDVT 2008: 64-70