no title

AL-SAWI AHMAD NOUR-AL-ISLAM (g906907@DPC.KFUPM.EDU.SA)
Mon, 6 Jan 1997 23:16:47 +0100


Hi,

I am new in Fuzzy logic, but I have a question:

Is there a way to use fuzzy proof techniques in hardware
formal verification, where you prove that the hardware design meets
the desired specification.

Ahmad Nien-tse Sui
Monkey Inside Technology Group

====================================================================
Tel: 1-800-Dont-Call-Me
Fax: By appointment
PO. Box: 1313 KFUPM, Dhahran 31261, Saudi Arabia
====================================================================