source: icGREP/icgrep-devel/cudd-2.5.1/nanotrav/README @ 5815

Last change on this file since 5815 was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

File size: 2.1 KB
Line 
1$Id: README,v 1.8 1997/01/23 07:33:22 fabio Exp fabio $
2
3WHAT IS NANOTRAV
4================
5
6This directory contains nanotrav, a simple reachability analysis program
7based on the CUDD package. Nanotrav uses a very naive approach and is
8only included to provide a sanity check for the installation of the
9CUDD package.
10
11Nanotrav reads a circuit written in a small subset of blif. This
12format is described in the comments in bnet.c. Nanotrav then creates
13BDDs for the primary outputs and the next state functions (if any) of
14the circuit.
15
16If, passed the -trav option, nanotrav builds a BDD for the
17characteristic function of the transition relation of the graph. It then
18builds a BDD for the initial state(s), and performs reachability
19analysis.  Reachability analysys is performed with either the method
20known as "monolithic transition relation method," whose main virtue is
21simplicity, or with a unsophisticated partitioned transition relation
22method.
23
24Once it has completed reachability analysis, nanotrav prints results and
25exits. The amount of information printed, as well as several other
26features are controlled by the options. For a complete list of the
27options, consult the man page. Here, we only mention that the options allow
28the user of nanotrav to select among different reordering options.
29
30TEST CIRCUITS
31=============
32
33Five test circuits are contained in this directory: C17.blif,
34C880.blif, s27.blif, mult32a.blif, and rcn25.blif. The first two are
35combinational, while the last three are sequential.  The results or
36running
37
38    nanotrav -p 1 -cover C17.blif > C17.out
39    nanotrav -p 1 -ordering dfs -autodyn -automethod sifting -reordering sifting -drop C880.blif > C880.out
40    nanotrav -p 1 -trav s27.blif > s27.out
41    nanotrav -p 1 -autodyn -reordering sifting -trav mult32a.blif > mult32a.out
42    nanotrav -p 1 -envelope rcn25.blif > rcn25.out
43
44are also included.  They have been obtained on a 200 MHz P6-based
45machine with 128MB of memory. These tests can be run with the shell
46script tst.sh. Notice that rcn25 requires approximately 500 sec. All
47other tests run in a few seconds.
Note: See TracBrowser for help on using the repository browser.