> I am facing problem While using the command write_blif. It says that
> Xkad*** variable is not boolean when used with -R option. And I want to
> use the blif file as an input to fctools for generating the FSM. I could
> not understand much from the help. Could you please explain how a blif
> file can be got from a verilog file. Can a blif_mv file converted to
> blif file.
If you type "write_blif -h" at the vis prompt, you will note that the -R
option requires that (among other things) all variables in the hierarchy
rooted at the current hnode are boolean. Is this true for your design?
Alternately, there is an option in vl2mv which directly generates a blif
file, I believe. Check the documentation for vl2mv.
Hope this helps,
Sunil
--------------------------------------------------------
Sunil P. Khatri spkhatri@colorado.edu
Electrical and Computer Engineering
Engineering Center, Room OT 432
Campus Box 425, University of Colorado at Boulder
Boulder, Colorado 80309-0425.
tel: (303) 735-1962 fax: (303) 492-2758
--------------------------------------------------------
This archive was generated by hypermail 2b29 : Sun Apr 16 2000 - 23:42:48 MDT