[ACM Press the conference - Munich, Germany (1999..-..)] Proceedings of the conference on Design, automation and test in Europe - DATE '99 - Approximate equivalence verification of sequential circuits via genetic algorithmsCorno, F.; Reorda, M. Sonza; Squillero, G. · 1999