Help about blif mv

From: angela pappagallo (angela_pappagallo_at_yahoo.it)
Date: Fri Mar 18 2005 - 03:08:37 MST

• Next message: Qiang Qiang (Katherine): "Questions on BMC feature"
• Previous message: Zaher S Andraus: "Verilog -> CNF"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Dear all,

I need to convert a blif-mv file containing symbolic
variables, declarated as:

.mv <varibale-name-list> <number-of-values>
<value-list>

(where <number-of-values> is greater then 2);
in a blif-mv file with only boolean variable, without
the .mv declaration. Someone can tell me if I can find
in VIS a command or a combination of commands to do
that?

Thanks in advance
Angla Pappagallo

                
___________________________________
Nuovo Yahoo! Messenger: E' molto più divertente: Audibles, Avatar, Webcam, Giochi, Rubrica… Scaricalo ora!
http://it.messenger.yahoo.it

• Next message: Qiang Qiang (Katherine): "Questions on BMC feature"
• Previous message: Zaher S Andraus: "Verilog -> CNF"
• 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 Mar 18 2005 - 03:19:45 MST