Hello!
At TIMA Laboratory, Grenoble, France, we have built
a prototype translator from the "RT Level synthesizable VHDL subset"
to BLIF-MV.
We are not confident enough that the prototype is sufficiently well debugged
to put it on the web. Also, we have not the human resources to answer
users request and perform users support.
However, if you are just doing experiments to evaluate VIS, we could
try to help you.
If you send us your VHDL file, we can try to run our translator on it
and send you the BLIF-MV output if everything goes well.
However, I insist that we do not recognize the full VHDL, but only
the IEEE 1076.6 subset.
In particular, integer types are not recognized.
Also, we request single clock synchronization, and do not recognize
synchronous processes with an asynchronous set/reset.
If you think your model conforms to the above restrictions, and want
to try a test, please send your file to
Pierre.Ostier@imag.fr
Best regards,
Dominique Borrione
>---------- Forwarded message ----------
>Date: Wed, 11 Oct 2000 11:16:55 +0530 (IST)
>From: "K T Oommen Tharakan(99407703)" <tharakan@bhairav.ee.iitb.ernet.in>
>To: vis@ic.eecs.berkeley.edu
>Subject: Usage of VIS
>
>
>Dear Sirs:
>
>I am a PH.D scholar in the Department of Electrical Engg. at Indian
>Institute of Technology, Bombay, India. My area of research is in Formal
>Verification.
>
>In the process of ambling different tools I came across VIS. I would like
>to know the following on VIS.
>
>1. Whether VIS accepts VHDL codes or is it currently restricted to Verilog
>only?
>
>2. If not, whether there is any tool to convert from VHDL to BLIF format
>or VHDL to Verilog. Kindly let me know.
>
>Looking forward to your reply,
>
>With best regards,
>
>K T Oommen Tharakan
>
>-------------------------------------------------------------------------
>
>K T Oommen Tharakan
>Research Scholar
>Room No: 72, Hostel No: 1 [QUEEN]
>Indian Institute of Technology-Bombay
>Powai, Mumbai, INDIA
>PIN: 400 076
>
>Email id: tharakan@ee.iitb.ernet.in
>
>---------------------------------------------------------------------------
=========
Dominique Borrione
Laboratoire TIMA / Tel: (+33) 4.76.57.49.82
INPG / Fax: (+33) 4.76.57.49.81
46 Avenue Felix Viallet
38031 Grenoble cedex / Dominique.Borrione@imag.fr
France
This archive was generated by hypermail 2b29 : Wed Oct 11 2000 - 09:28:41 MDT