Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site watdaisy.UUCP
Path: utzoo!watmath!watdaisy!rggoebel
From: rggoebel@watdaisy.UUCP (Randy Goebel)
Newsgroups: net.lang.prolog
Subject: Search for projects on design/simulation software for VLSI
Message-ID: <330@watdaisy.UUCP>
Date: Wed, 2-Nov-83 10:00:59 EST
Article-I.D.: watdaisy.330
Posted: Wed Nov  2 10:00:59 1983
Date-Received: Thu, 3-Nov-83 00:13:54 EST
Organization: U of Waterloo, Ontario
Lines: 8

Does anyone know of, or have references to a list of projects that
deal with rule-based VLSI design, circuit simulation, and verification?

Randy Goebel
Logic Programming Group
University of Waterloo
Waterloo, Ontario
UUCP: watmath!watdaisy!rggoebel