Re: help

From: Zaher S Andraus (zandrawi_at_eecs.umich.edu)
Date: Fri Jul 09 2004 - 21:03:00 MDT

• Next message: Fabio: "bounded_model_check and counterexample"
• Previous message: Fabio Somenzi: "Re: print cnf of flattened network"
• In reply to: Fabio: "help"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

I am facing a similar need. Did anyone figure that out ?

-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x
Zaher S. Andraus
Advanced Computer Architecture Laboratory in EECS
University of Michigan - Ann Arbor
http://www.eecs.umich.edu/~zandrawi/academic.htm
-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x

On Mon, 21 Jun 2004, Fabio wrote:

> Hi!
> I'm an italian student and I need to translate a vhdl source into blif (to
> check with vis) for my thesis.
> I know that vis doesn't accept vhdl source and so I'm looking for a vhdl to blif translator (for linux).
> Can we help me? Does exist another method?
> Thanks in advance,
> Fabio
>

• Next message: Fabio: "bounded_model_check and counterexample"
• Previous message: Fabio Somenzi: "Re: print cnf of flattened network"
• In reply to: Fabio: "help"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.7 : Fri Jul 09 2004 - 21:05:47 MDT