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 ········@dopey.cs.unc.edu uunet!mcnc!unc!rajgopal
"Variety is the spice of life,
Thats what the judge is going to tell my wife"