A new approach for the automatic equivalence checking of behavioral or structural descriptions of designs with complex control is presented. The verification tool combines symbolic simulation with a hierarchy of equivalence checking methods, including decision-diagram based techniques, with increasing accuracy in order to optimize overall verification time without giving false negatives. The equivalence checker is able to cope with different numbers of control steps and different implementational details in the two descriptions to be compared.
CITATION STYLE
Ritter, G., Eveking, H., & Hinrichsen, H. (1999). Formal verification of designs with complex control by symbolic simulation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1703, pp. 234–250). Springer Verlag. https://doi.org/10.1007/3-540-48153-2_18
Mendeley helps you to discover research relevant for your work.