Halaman utama Jelajahi Bantuan
Masuk
koz.ross
/
cudd
Liatin 1
Bintangi 1
Fork 0
Berkas Masalah 0 Tarik Permintaan 0 Wiki
Pohon: 5879e82ccd
Ranting Tag
cudd
/
nanotrav
Koz Ross d2249b3763 Initial upmerge 6 tahun lalu
..
C17.blif d2249b3763 Initial upmerge 6 tahun lalu
C17.out d2249b3763 Initial upmerge 6 tahun lalu
C880.blif d2249b3763 Initial upmerge 6 tahun lalu
C880.out d2249b3763 Initial upmerge 6 tahun lalu
Included.am d2249b3763 Initial upmerge 6 tahun lalu
README d2249b3763 Initial upmerge 6 tahun lalu
adj49.blif d2249b3763 Initial upmerge 6 tahun lalu
adj49.out d2249b3763 Initial upmerge 6 tahun lalu
bnet.c d2249b3763 Initial upmerge 6 tahun lalu
bnet.h d2249b3763 Initial upmerge 6 tahun lalu
chkMterm.c d2249b3763 Initial upmerge 6 tahun lalu
closest.blif d2249b3763 Initial upmerge 6 tahun lalu
closest.out d2249b3763 Initial upmerge 6 tahun lalu
ham01.blif d2249b3763 Initial upmerge 6 tahun lalu
ham01.out d2249b3763 Initial upmerge 6 tahun lalu
main.c d2249b3763 Initial upmerge 6 tahun lalu
miniFirst.blif d2249b3763 Initial upmerge 6 tahun lalu
miniFirst.out d2249b3763 Initial upmerge 6 tahun lalu
miniSecond.blif d2249b3763 Initial upmerge 6 tahun lalu
mult32a.blif d2249b3763 Initial upmerge 6 tahun lalu
mult32a.out d2249b3763 Initial upmerge 6 tahun lalu
nanotrav.1 d2249b3763 Initial upmerge 6 tahun lalu
ntr.c d2249b3763 Initial upmerge 6 tahun lalu
ntr.h d2249b3763 Initial upmerge 6 tahun lalu
ntrBddTest.c d2249b3763 Initial upmerge 6 tahun lalu
ntrHeap.c d2249b3763 Initial upmerge 6 tahun lalu
ntrMflow.c d2249b3763 Initial upmerge 6 tahun lalu
ntrShort.c d2249b3763 Initial upmerge 6 tahun lalu
ntrZddTest.c d2249b3763 Initial upmerge 6 tahun lalu
rcn25.blif d2249b3763 Initial upmerge 6 tahun lalu
rcn25.out d2249b3763 Initial upmerge 6 tahun lalu
s27.blif d2249b3763 Initial upmerge 6 tahun lalu
s27.out d2249b3763 Initial upmerge 6 tahun lalu
s27b.blif d2249b3763 Initial upmerge 6 tahun lalu
s27b.out d2249b3763 Initial upmerge 6 tahun lalu
s27c.blif d2249b3763 Initial upmerge 6 tahun lalu
s27c.out d2249b3763 Initial upmerge 6 tahun lalu
s382.blif d2249b3763 Initial upmerge 6 tahun lalu
s382.out d2249b3763 Initial upmerge 6 tahun lalu
s641.blif d2249b3763 Initial upmerge 6 tahun lalu
s641.out d2249b3763 Initial upmerge 6 tahun lalu
test_ntrv.test.in d2249b3763 Initial upmerge 6 tahun lalu

README

$Id: README,v 1.8 1997/01/23 07:33:22 fabio Exp fabio $

WHAT IS NANOTRAV
================

This directory contains nanotrav, a simple reachability analysis program
based on the CUDD package. Nanotrav uses a very naive approach and is
only included to provide a sanity check for the installation of the
CUDD package.

Nanotrav reads a circuit written in a small subset of blif. This
format is described in the comments in bnet.c. Nanotrav then creates
BDDs for the primary outputs and the next state functions (if any) of
the circuit.

If, passed the -trav option, nanotrav builds a BDD for the
characteristic function of the transition relation of the graph. It then
builds a BDD for the initial state(s), and performs reachability
analysis. Reachability analysys is performed with either the method
known as "monolithic transition relation method," whose main virtue is
simplicity, or with an unsophisticated partitioned transition relation
method.

Once it has completed reachability analysis, nanotrav prints results and
exits. The amount of information printed, as well as several other
features are controlled by the options. For a complete list of the
options, consult the man page. Here, we only mention that the options allow
the user of nanotrav to select among different reordering options.

TEST CIRCUITS
=============

Twelve test circuits are contained in this directory. The results or running
nanotrav on them with various options are also included. These tests are run
as part of "make check." Notice that rcn25 requires approximately 30 s. All
other tests take much less.