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