alliance-support '1998
proof


Ralf Anhorn (ranhorn@htwm.de)
Tue, 27 Jan 1998 16:55:17 +0100

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

 



Alliance Web Site © 1997, 2002 ASIM/LIP6/UPMC, page maintained by Czo [Olivier Sirol] , last updated on 22 March 2001.