Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks
Stefano Quer, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen M. Sentovich, Robert K. BraytonVolume:
17
Language:
english
Pages:
28
DOI:
10.1023/a:1008748802907
Date:
October, 2000
File:
PDF, 170 KB
english, 2000