Blif-mv to Kripke?

From: Roopak Sinha (rsin077_at_ec.auckland.ac.nz)
Date: Sun Aug 08 2004 - 20:48:41 MDT

• Next message: Niklas Een: "Re: Blif-mv to Kripke?"
• Previous message: Fabio: "vis and edif"
• Next in thread: Niklas Een: "Re: Blif-mv to Kripke?"
• Reply: Niklas Een: "Re: Blif-mv to Kripke?"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hi users,

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: Niklas Een: "Re: Blif-mv to Kripke?"
• Previous message: Fabio: "vis and edif"
• Next in thread: Niklas Een: "Re: Blif-mv to Kripke?"
• Reply: Niklas Een: "Re: 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 : Sun Aug 08 2004 - 21:37:28 MDT