Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks.

Stefano Quer Gianpiero Cabodi Paolo Camurati Luciano Lavagno Ellen Sentovich Robert K. Brayton Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks. 107-134 2000 17 Formal Methods in System Design 2 db/journals/fmsd/fmsd17.html#QuerCCLSB00