Daher Kaiss, Silvian Goldenberg, Zurab Khasidashvili. Seqver : A Sequential Equivalence Verifier for Hardware Designs . In 24th International Conference on Computer Design (ICCD 2006), 1-4 October 2006, San Jose, CA, USA. pages 267-273, IEEE, 2006. [doi]
Abstract is missing.