Dear Sirs I would like to know if 'proof' from Alliance 3.2 is an equivalent checker or a model checker. The Verification section in the Alliance Design Flow overview says little about it. I did not install Alliance yet but I am really interested in doing so as soon I find some time. Thanks in advance Ralf Anhorn