Re: Blif-mv to Kripke?

From: Niklas Een (een_at_cs.chalmers.se)
Date: Mon Aug 09 2004 - 02:11:47 MDT

• Next message: Korey LaMar Sewell: "vis error: "Could not find node corresponding to the name""
• Previous message: Roopak Sinha: "Blif-mv to Kripke?"
• In reply to: Roopak Sinha: "Blif-mv to Kripke?"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

I wrote a tool 'mv2' for this. You can find it at:

http://www.cs.chalmers.se/~een/Tip/

// Niklas Een

> Just wondering if anyone knows of a tool to extract an explicit Kripke
> structure
> (FSM) out of a given blif-mv/verilog file.
>
> Any help will be highly appreciated.
>
> Thanks
>
> Roopak Sinha
> ID: 3219681
>

• Next message: Korey LaMar Sewell: "vis error: "Could not find node corresponding to the name""
• Previous message: Roopak Sinha: "Blif-mv to Kripke?"
• In reply to: Roopak Sinha: "Blif-mv to Kripke?"
• 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 : Mon Aug 09 2004 - 02:17:25 MDT