Xref: utzoo comp.ai:4740 comp.lang.prolog:1887 comp.lang.lisp:2149 sci.math.symbolic:888 comp.lsi.cad:238
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!iuvax!rutgers!mcnc!thorin!lhotse!rajgopal
From: rajgopal@lhotse.cs.unc.edu (Suresh Rajgopal)
Newsgroups: comp.ai,comp.lang.prolog,comp.lang.lisp,sci.math.symbolic,comp.lsi.cad
Subject: Hardware Verifiers Available (public-domain)?
Keywords: Hardware Verifiers, First order provers, Term Rewrite Systems
Message-ID: <9479@thorin.cs.unc.edu>
Date: 13 Sep 89 19:58:55 GMT
Lines: 21


  I am looking for Hardware Verifiers, based on first-order logic
proof systems, or term rewriting systems. Are there any available
on public domain, that I can access and use readily?
 I am looking for something
 which can handle combinational and sequential circuits. It does
 not need to model transistors. Gate level modeling is sufficient;
with a finite state machine model for sequential circuits.

Any pointers/e-mail/US mail contacts/addresses will be appreciated.

Thanks in advance


-Suresh



   Suresh Rajgopal  rajgopal@dopey.cs.unc.edu  uunet!mcnc!unc!rajgopal
    "Variety is the spice of life,
      Thats what the judge is going to tell my wife"