Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronic Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

Register Log in

Link and description of FANCY software

Status
Not open for further replies.

jimjim2k

Advanced Member level 3
Joined
May 17, 2001
Messages
996
Helped
23
Reputation
46
Reaction score
13
Trophy points
1,298
Activity points
7,270
fancy download

Hi

FANCY is a BDD-based tool for formal hardware verification.
It's a collection of new and known FSM equivalence and inclusion check
algorithms with a graphical user interface.
The finite state machines (FSMs) can be of Mealy type or Moore type
and must be given in the format of the ISCAS'89 benchmark or in the blif
format (Berkeley Logic Interchange Format).
Such a collection is useful because no equivalence/inclusion
checking algorithm works well for all examples. Every one has its favorite
examples and its bad examples.

FANCY runs under Unix with the X window system (X11)
and the Tcl/Tk interpreter `wish' (version Tcl/7.3, Tk/3.6, available
by anonymous f*p on harbor.ecn.purdue.edu) for the graphical user interface.

There are compiled versions of FANCY for SUN 4, HP 9000,
DEC 5000 (due Laurence Pierre), and a Linux version for PC 486 (for the
moment only version 1.0).





1. h**p://www.cs.utwente.nl/data/amast/links/v01/i03/full/FANCYt.txt

* -> t

tnx
 

rocky

Newbie level 6
Joined
Feb 21, 2002
Messages
11
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,281
Activity points
6
good guy.
 

Status
Not open for further replies.
Toggle Sidebar

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Top