Return-Path: Delivery-Date: Received: from dworshak.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Thu, 26 Aug 1993 10:13:56 +0100 Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA03475; Thu, 26 Aug 93 02:08:42 -0700 Sender: info-hol-request@cs.uidaho.edu Errors-To: info-hol-request@cs.uidaho.edu Precedence: bulk Received: from iraun1.ira.uka.de by dworshak.cs.uidaho.edu with SMTP (1.37.109.4/16.2) id AA03471; Thu, 26 Aug 93 02:08:36 -0700 Received: from ira.uka.de by iraun1.ira.uka.de with SMTP (PP) id <29454-0@iraun1.ira.uka.de>; Thu, 26 Aug 1993 11:07:34 +0200 Date: Thu, 26 Aug 93 11:09:49 MET DST From: "Thomas Kropf, Univ. Karlsruhe" To: info-hol@dworshak.cs.uidaho.edu Subject: TPCD94 - HW Verification Benchmarks Message-Id: <"iraun1.ira.462:26.07.93.09.07.46"@ira.uka.de> As I mentioned already at the HOL workshop in Vancouver we are still looking for interesting hardware verification examples usable as benchmark circuits for TPCD94 (Conf. on Theorem Provers in Circuit Design). The collection of the benchmark examples is done in loose cooperation with IFIP WG 10.2 and parts of these circuits are to be defined as "the official IFIP verification benchmarks" for future use. To get a high degree of diversity and to be able to include challenges from real world (e.g. verification problems from industry, which are not well or even not yet verifiable with state-of-the-art approaches) we are strongly dependent on your suggestions. To keep the examples in a reasonable size, we are especially looking for small but tricky (instead of large and dumb) circuits. It would be great if you could support us by contributing one of the circuits, which you found hard or even impossible to verify :-) Naturally, everyone is given credit for his/her example submission in the final benchmark documentation. Thanks for any suggestions/circuits sent to me! --Thomas-- -- Thomas Kropf, Institut fuer Rechnerentwurf und Fehlertoleranz, Universitaet Karlsruhe, P.O. Box 6980, D-76128 Karlsruhe, Germany email: kropf@ira.uka.de Tel.: +49 721 608 4220 FAX: +49 721 370 455 ************************************************************************** * * * 2nd Int. Conference on Theorem Provers in Circuit Design (TPCD94) * * 26.-29. September 1994, Bad Herrenalb (Blackforest) * * * * For more informations see directory /pub/tpcd94 on anonymous * * ftp-site goethe.ira.uka.de or send email to kropf@ira.uka.de * * * **************************************************************************