Sis, a program suite for synthesis of sequential circuits.

PR:		ports/5104
Submitted by:	Frank Volf <volf@oasis.IAEhv.nl>

6 files changed, 506 insertions, 0 deletions

diff --git a/cad/sis/Makefile b/cad/sis/Makefile
new file mode 100644
index 000000000000..4d851fa0bd60
--- /dev/null
+++ b/cad/sis/Makefile
@@ -0,0 +1,62 @@
+# New ports collection makefile for:    sis
+# Version required:     1.2 (pl1)
+# Date created:         10 October 1997
+# Whom:                 volf@oasis.IAEhv.nl
+#
+# $Id$
+#
+
+DISTNAME=		sis-1.2
+PKGNAME=		sis-1.2.1
+CATEGORIES=		cad
+MASTER_SITES=		ftp://ic.eecs.berkeley.edu/pub/Sis/
+EXTRACT_SUFX=   	.tar.Z
+
+PATCH_SITES=		ftp://ic.eecs.berkeley.edu/pub/Sis/
+PATCHFILES=		sis-1.2.patch1.Z
+PATCH_DIST_STRIP=	-p1
+
+MAINTAINER=		volf@oasis.IAEhv.nl
+
+MAKEFILE=		Makefile.FreeBSD
+MAN1=			espresso.1 jedi.1 nova.1 sis.1 sred.1 stamina.1 \
+			vst2blif.1 xsis.1
+MAN5=			espresso.5 pla.5
+
+pre-build: ${WRKSRC}/Makefile.FreeBSD
+
+${WRKSRC}/Makefile.FreeBSD:
+	${CP} ${FILESDIR}/Makefile.FreeBSD ${WRKSRC}
+
+do-install:
+	${INSTALL_PROGRAM} ${WRKSRC}/sis/sis ${PREFIX}/bin
+	${INSTALL_PROGRAM} ${WRKSRC}/jedi/jedi ${PREFIX}/bin
+	${INSTALL_PROGRAM} ${WRKSRC}/sred/sred ${PREFIX}/bin
+	${INSTALL_PROGRAM} ${WRKSRC}/stamina/bin/stamina ${PREFIX}/bin
+	${INSTALL_PROGRAM} ${WRKSRC}/nova/nova ${PREFIX}/bin
+	${INSTALL_PROGRAM} ${WRKSRC}/espresso/espresso ${PREFIX}/bin
+	${INSTALL_PROGRAM} ${WRKSRC}/vst2blif/vst2blif ${PREFIX}/bin
+	${INSTALL_PROGRAM} ${WRKSRC}/blif2vst/blif2vst ${PREFIX}/bin
+	${INSTALL_PROGRAM} ${WRKSRC}/xsis/xsis ${PREFIX}/bin
+	${INSTALL_MAN} ${WRKSRC}/espresso/espresso.1 ${PREFIX}/man/man1
+	${INSTALL_MAN} ${WRKSRC}/jedi/jedi.1 ${PREFIX}/man/man1
+	${INSTALL_MAN} ${WRKSRC}/nova/nova.1 ${PREFIX}/man/man1
+	${INSTALL_MAN} ${WRKSRC}/sis/sis_lib/help/sis.1 ${PREFIX}/man/man1
+	${INSTALL_MAN} ${WRKSRC}/sred/sred.1 ${PREFIX}/man/man1
+	${INSTALL_MAN} ${WRKSRC}/stamina/stamina.1 ${PREFIX}/man/man1
+	${INSTALL_MAN} ${WRKSRC}/vst2blif/vst2blif.1 ${PREFIX}/man/man1
+	${INSTALL_MAN} ${WRKSRC}/xsis/xsis.1 ${PREFIX}/man/man1
+	${INSTALL_MAN} ${WRKSRC}/espresso/espresso.5 ${PREFIX}/man/man5
+	${INSTALL_MAN} ${WRKSRC}/espresso/pla.5 ${PREFIX}/man/man5
+	${MKDIR} ${PREFIX}/lib/sis
+	${CP} -R ${WRKSRC}/sis/sis_lib ${PREFIX}/lib/sis
+
+.if !defined(NOPORTDOCS)
+post-install:
+	${INSTALL_DATA} ${WRKSRC}/SIS_paper.ps ${PREFIX}/lib/sis
+	${INSTALL_DATA} ${WRKSRC}/RELEASE-NOTES-1.2 ${PREFIX}/lib/sis
+	${GZIP_CMD} ${PREFIX}/lib/sis/SIS_paper.ps
+	chown -R bin:bin ${PREFIX}/lib/sis
+.endif
+
+.include <bsd.port.mk>
diff --git a/cad/sis/distinfo b/cad/sis/distinfo
new file mode 100644
index 000000000000..e6da765e6a5e
--- /dev/null
+++ b/cad/sis/distinfo
@@ -0,0 +1,2 @@
+MD5 (sis-1.2.tar.Z) = 4a6a427c2e10f166c6c080630713a016
+MD5 (sis-1.2.patch1.Z) = ea713114d925c04463b0ec87dad3ff57
diff --git a/cad/sis/files/Makefile.FreeBSD b/cad/sis/files/Makefile.FreeBSD
new file mode 100644
index 000000000000..c5547f3fc20c
--- /dev/null
+++ b/cad/sis/files/Makefile.FreeBSD
@@ -0,0 +1,47 @@
+#
+# $Id$
+#
+
+MACHINE	= FreeBSD
+SRCDIR	= ${.CURDIR}
+X11	= /usr/X11R6
+
+SIS	= $(SRCDIR)/sis
+CAD	= $(SRCDIR)/cad
+LIBDIR	= $(PREFIX)/lib/sis
+
+CC	= cc
+
+all:
+	cd sis; make -f Makefile.nooct SIS=$(SIS) LIBDIR=$(LIBDIR) CAD=$(CAD) CC=$(CC); cd ..
+	cd utility; make CAD=$(CAD) CC=$(CC) libutility.a; \
+	mv libutility.a $(CAD)/lib; cd ..
+	cd options; make CAD=$(CAD) CC=$(CC) liboptions.a; \
+	mv liboptions.a $(CAD)/lib; cd ..
+	cd jedi; make CAD=$(CAD) CC=$(CC); cd ..
+	cd espresso; make CAD=$(CAD) CC=$(CC); cd ..
+	cd nova; make CAD=$(CAD) SIS=$(SIS) CC=$(CC); cd ..
+	cd sred; make SIS=$(SIS) CC=$(CC); cd ..
+	cd stamina; make MACHINE=$(MACHINE) CC=$(CC) SIS=$(SIS); cd ..
+	cd vst2blif; make MACHINE=$(MACHINE) CC=$(CC); cd ..
+	cd blif2vst; make MACHINE=$(MACHINE) CC=$(CC); cd ..
+	cd xsis; make SIS=$(SIS) MACHINE=$(MACHINE) X11=$(X11) CC=$(CC); cd ..
+
+clean:
+	cd sis; make SIS=$(SIS) CAD=$(CAD) clean; cd ..
+	cd utility; make clean; cd ..
+	-rm $(CAD)/lib/libutility.a
+	cd options; make clean; cd ..
+	-rm $(CAD)/lib/liboptions.a
+	cd jedi; make clean; cd ..
+	cd stamina; make clean; cd ..
+	cd sred; make clean; cd ..
+	cd nova; make clean; cd ..
+	cd espresso; make clean; cd ..
+	cd vst2blif; make clean; cd ..
+	cd blif2vst; make clean; cd ..
+	cd xsis; make clean; cd ..
+	cd stamina; make cleanall; cd ..
+	cd sis; make strip_depend; rm -rf lib/*; cd ..
+	-rm -rf make.out Makefile
+
diff --git a/cad/sis/pkg-comment b/cad/sis/pkg-comment
new file mode 100644
index 000000000000..8b60d794208f
--- /dev/null
+++ b/cad/sis/pkg-comment
@@ -0,0 +1 @@
+Synthesis program for the synthesis of sequential circuits.
diff --git a/cad/sis/pkg-descr b/cad/sis/pkg-descr
new file mode 100644
index 000000000000..b3c673746884
--- /dev/null
+++ b/cad/sis/pkg-descr
@@ -0,0 +1,26 @@
+sis is an interactive program for the synthesis of both synchronous
+and asynchronous sequential circuits.  The input can be given in state
+table format or as logical equations (for synchronous circuits), or
+as a signal transition graph (for asynchronous circuits); a target
+technology library is given in genlib format.  The output is a netlist
+of gates in the target technology.
+
+The system includes various capabilities that are controlled interactively
+by the user.  These include state minimization, state assignment,
+optimization for area and delay using retiming, optimization using
+standard algebraic and Boolean combinational techniques from MISII,
+performance optimization using restructuring, and technology mapping
+for optimal area and delay.  Redundancy removal and 100% testability
+are provided for combinational and scan-path circuits.  Formal verification
+is available for both combinational and sequential circuits, even for
+circuits with different state encodings.
+
+This distribution contains sis, nova (state assignment), jedi (state
+assignment), stamina (state minimization, from June Rho at University of
+Colorado, Boulder), sred (state minimization), espresso, blif2vst (mapped
+BLIF to structural VHDL translator), vst2blif (structural VHDL to BLIF
+translator), xsis (a front-end graphical interface to sis) and several stripped
+down packages from the OctTools (options, port, and utility) that are needed
+for some of the programs listed above.
+
+Frank Volf, volf@oasis.IAEhv.nl
diff --git a/cad/sis/pkg-plist b/cad/sis/pkg-plist
new file mode 100644
index 000000000000..a263e99985d8
--- /dev/null
+++ b/cad/sis/pkg-plist
@@ -0,0 +1,368 @@
+bin/sis
+bin/jedi
+bin/sred
+bin/stamina
+bin/nova
+bin/espresso
+bin/vst2blif
+bin/blif2vst
+bin/xsis
+lib/sis/sis_lib/help/print.1.orig
+lib/sis/sis_lib/help/sis.1
+lib/sis/sis_lib/help/alias.1
+lib/sis/sis_lib/help/Makefile
+lib/sis/sis_lib/help/_astg_cycle.1
+lib/sis/sis_lib/help/format
+lib/sis/sis_lib/help/add_inverter.1
+lib/sis/sis_lib/help/astg_contract.1
+lib/sis/sis_lib/help/astg_current.1
+lib/sis/sis_lib/help/_astg_flow.1
+lib/sis/sis_lib/help/_astg_irred.1
+lib/sis/sis_lib/help/_astg_mgc.1
+lib/sis/sis_lib/help/astg_marking.1
+lib/sis/sis_lib/help/trail
+lib/sis/sis_lib/help/_astg_smc.1
+lib/sis/sis_lib/help/astg_print_sg.1
+lib/sis/sis_lib/help/astg_syn.1
+lib/sis/sis_lib/help/astg_persist.1
+lib/sis/sis_lib/help/astg_slow.1
+lib/sis/sis_lib/help/act_map.fmt
+lib/sis/sis_lib/help/astg_to_f.1
+lib/sis/sis_lib/help/astg_to_stg.1
+lib/sis/sis_lib/help/atpg.1
+lib/sis/sis_lib/help/bdsyn.1
+lib/sis/sis_lib/help/buffer_opt.1
+lib/sis/sis_lib/help/chng_clock.1
+lib/sis/sis_lib/help/chng_name.1
+lib/sis/sis_lib/help/collapse.1
+lib/sis/sis_lib/help/constraints.1
+lib/sis/sis_lib/help/decomp.1
+lib/sis/sis_lib/help/echo.1
+lib/sis/sis_lib/help/eliminate.1
+lib/sis/sis_lib/help/espresso.1
+lib/sis/sis_lib/help/extract_seq_dc.1
+lib/sis/sis_lib/help/factor.1
+lib/sis/sis_lib/help/fanout_alg.1
+lib/sis/sis_lib/help/fanout_param.1
+lib/sis/sis_lib/help/full_simplify.1
+lib/sis/sis_lib/help/fx.1
+lib/sis/sis_lib/help/gcx.1
+lib/sis/sis_lib/help/gkx.1
+lib/sis/sis_lib/help/help.1
+lib/sis/sis_lib/help/invert.1
+lib/sis/sis_lib/help/map.1
+lib/sis/sis_lib/help/.except
+lib/sis/sis_lib/help/write_pds.1
+lib/sis/sis_lib/help/one_hot.1
+lib/sis/sis_lib/help/phase.1
+lib/sis/sis_lib/help/fx.fmt
+lib/sis/sis_lib/help/plot_blif.1
+lib/sis/sis_lib/help/print.1
+lib/sis/sis_lib/help/print_altname.1
+lib/sis/sis_lib/help/print_clock.1
+lib/sis/sis_lib/help/print_delay.1
+lib/sis/sis_lib/help/print_factor.1
+lib/sis/sis_lib/help/print_gate.1
+lib/sis/sis_lib/help/header.me
+lib/sis/sis_lib/help/print_io.1
+lib/sis/sis_lib/help/print_kernel.1
+lib/sis/sis_lib/help/print_latch.1
+lib/sis/sis_lib/help/print_level.1
+lib/sis/sis_lib/help/print_library.1
+lib/sis/sis_lib/help/print_map_stats.1
+lib/sis/sis_lib/help/print_state.1
+lib/sis/sis_lib/help/print_stats.1
+lib/sis/sis_lib/help/print_value.1
+lib/sis/sis_lib/help/quit.1
+lib/sis/sis_lib/help/read_astg.1
+lib/sis/sis_lib/help/read_blif.1
+lib/sis/sis_lib/help/read_eqn.1
+lib/sis/sis_lib/help/read_kiss.1
+lib/sis/sis_lib/help/_astg_cycle.fmt
+lib/sis/sis_lib/help/read_library.1
+lib/sis/sis_lib/help/read_oct.1
+lib/sis/sis_lib/help/read_pla.1
+lib/sis/sis_lib/help/read_slif.1
+lib/sis/sis_lib/help/red_removal.1
+lib/sis/sis_lib/help/reduce_depth.1
+lib/sis/sis_lib/help/replace.1
+lib/sis/sis_lib/help/reset_name.1
+lib/sis/sis_lib/help/resub.1
+lib/sis/sis_lib/help/retime.1
+lib/sis/sis_lib/help/save.1
+lib/sis/sis_lib/help/set.1
+lib/sis/sis_lib/help/set_delay.1
+lib/sis/sis_lib/help/set_state.1
+lib/sis/sis_lib/help/sim_verify.1
+lib/sis/sis_lib/help/simplify.1
+lib/sis/sis_lib/help/sis.man
+lib/sis/sis_lib/help/simulate.1
+lib/sis/sis_lib/help/gcx.fmt
+lib/sis/sis_lib/help/source.1
+lib/sis/sis_lib/help/speed_up.1
+lib/sis/sis_lib/help/state_assign.1
+lib/sis/sis_lib/help/sweep.1
+lib/sis/sis_lib/help/astg_print_stat.1
+lib/sis/sis_lib/help/alias.fmt
+lib/sis/sis_lib/help/_astg_flow.fmt
+lib/sis/sis_lib/help/_astg_irred.fmt
+lib/sis/sis_lib/help/_astg_mgc.fmt
+lib/sis/sis_lib/help/_astg_smc.fmt
+lib/sis/sis_lib/help/add_inverter.fmt
+lib/sis/sis_lib/help/astg_contract.fmt
+lib/sis/sis_lib/help/astg_current.fmt
+lib/sis/sis_lib/help/gkx.fmt
+lib/sis/sis_lib/help/state_minimize.1
+lib/sis/sis_lib/help/astg_lockgraph.fmt
+lib/sis/sis_lib/help/astg_marking.fmt
+lib/sis/sis_lib/help/astg_print_sg.fmt
+lib/sis/sis_lib/help/astg_print_stat.fmt
+lib/sis/sis_lib/help/astg_slow.fmt
+lib/sis/sis_lib/help/astg_syn.fmt
+lib/sis/sis_lib/help/astg_to_f.fmt
+lib/sis/sis_lib/help/astg_to_stg.fmt
+lib/sis/sis_lib/help/atpg.fmt
+lib/sis/sis_lib/help/bdsyn.fmt
+lib/sis/sis_lib/help/buffer_opt.fmt
+lib/sis/sis_lib/help/map.fmt
+lib/sis/sis_lib/help/chng_clock.fmt
+lib/sis/sis_lib/help/chng_name.fmt
+lib/sis/sis_lib/help/collapse.fmt
+lib/sis/sis_lib/help/constraints.fmt
+lib/sis/sis_lib/help/decomp.fmt
+lib/sis/sis_lib/help/echo.fmt
+lib/sis/sis_lib/help/eliminate.fmt
+lib/sis/sis_lib/help/espresso.fmt
+lib/sis/sis_lib/help/extract_seq_dc.fmt
+lib/sis/sis_lib/help/factor.fmt
+lib/sis/sis_lib/help/fanout_alg.fmt
+lib/sis/sis_lib/help/fanout_param.fmt
+lib/sis/sis_lib/help/full_simplify.fmt
+lib/sis/sis_lib/help/help.fmt
+lib/sis/sis_lib/help/history.fmt
+lib/sis/sis_lib/help/invert.fmt
+lib/sis/sis_lib/help/speedup_alg.1
+lib/sis/sis_lib/help/one_hot.fmt
+lib/sis/sis_lib/help/phase.fmt
+lib/sis/sis_lib/help/plot_blif.fmt
+lib/sis/sis_lib/help/print.fmt
+lib/sis/sis_lib/help/print_altname.fmt
+lib/sis/sis_lib/help/print_clock.fmt
+lib/sis/sis_lib/help/print_delay.fmt
+lib/sis/sis_lib/help/print_factor.fmt
+lib/sis/sis_lib/help/print_gate.fmt
+lib/sis/sis_lib/help/print_io.fmt
+lib/sis/sis_lib/help/print_kernel.fmt
+lib/sis/sis_lib/help/print_latch.fmt
+lib/sis/sis_lib/help/print_level.fmt
+lib/sis/sis_lib/help/print_library.fmt
+lib/sis/sis_lib/help/print_map_stats.fmt
+lib/sis/sis_lib/help/print_state.fmt
+lib/sis/sis_lib/help/print_stats.fmt
+lib/sis/sis_lib/help/print_value.fmt
+lib/sis/sis_lib/help/quit.fmt
+lib/sis/sis_lib/help/read_astg.fmt
+lib/sis/sis_lib/help/read_blif.fmt
+lib/sis/sis_lib/help/read_eqn.fmt
+lib/sis/sis_lib/help/read_kiss.fmt
+lib/sis/sis_lib/help/read_library.fmt
+lib/sis/sis_lib/help/read_oct.fmt
+lib/sis/sis_lib/help/set.fmt
+lib/sis/sis_lib/help/read_pla.fmt
+lib/sis/sis_lib/help/read_slif.fmt
+lib/sis/sis_lib/help/red_removal.fmt
+lib/sis/sis_lib/help/reduce_depth.fmt
+lib/sis/sis_lib/help/replace.fmt
+lib/sis/sis_lib/help/reset_name.fmt
+lib/sis/sis_lib/help/stg_cover.1
+lib/sis/sis_lib/help/resub.fmt
+lib/sis/sis_lib/help/retime.fmt
+lib/sis/sis_lib/help/save.fmt
+lib/sis/sis_lib/help/set_delay.fmt
+lib/sis/sis_lib/help/set_state.fmt
+lib/sis/sis_lib/help/sim_verify.fmt
+lib/sis/sis_lib/help/simplify.fmt
+lib/sis/sis_lib/help/simulate.fmt
+lib/sis/sis_lib/help/source.fmt
+lib/sis/sis_lib/help/speed_up.fmt
+lib/sis/sis_lib/help/stg_extract.1
+lib/sis/sis_lib/help/stg_to_network.1
+lib/sis/sis_lib/help/state_assign.fmt
+lib/sis/sis_lib/help/sweep.fmt
+lib/sis/sis_lib/help/tech_decomp.1
+lib/sis/sis_lib/help/time.1
+lib/sis/sis_lib/help/timeout.1
+lib/sis/sis_lib/help/make.awk
+lib/sis/sis_lib/help/unalias.1
+lib/sis/sis_lib/help/state_minimize.fmt
+lib/sis/sis_lib/help/undo.1
+lib/sis/sis_lib/help/stg_cover.fmt
+lib/sis/sis_lib/help/unset.1
+lib/sis/sis_lib/help/stg_extract.fmt
+lib/sis/sis_lib/help/stg_to_network.fmt
+lib/sis/sis_lib/help/tech_decomp.fmt
+lib/sis/sis_lib/help/time.fmt
+lib/sis/sis_lib/help/timeout.fmt
+lib/sis/sis_lib/help/unalias.fmt
+lib/sis/sis_lib/help/usage.1
+lib/sis/sis_lib/help/verify.1
+lib/sis/sis_lib/help/undo.fmt
+lib/sis/sis_lib/help/verify_fsm.1
+lib/sis/sis_lib/help/wd.1
+lib/sis/sis_lib/help/write_astg.1
+lib/sis/sis_lib/help/write_bdnet.1
+lib/sis/sis_lib/help/write_blif.1
+lib/sis/sis_lib/help/write_eqn.1
+lib/sis/sis_lib/help/write_kiss.1
+lib/sis/sis_lib/help/xl_ao.1
+lib/sis/sis_lib/help/unset.fmt
+lib/sis/sis_lib/help/usage.fmt
+lib/sis/sis_lib/help/verify.fmt
+lib/sis/sis_lib/help/verify_fsm.fmt
+lib/sis/sis_lib/help/wd.fmt
+lib/sis/sis_lib/help/write_astg.fmt
+lib/sis/sis_lib/help/write_bdnet.fmt
+lib/sis/sis_lib/help/write_oct.1
+lib/sis/sis_lib/help/write_blif.fmt
+lib/sis/sis_lib/help/write_eqn.fmt
+lib/sis/sis_lib/help/write_pla.1
+lib/sis/sis_lib/help/write_slif.1
+lib/sis/sis_lib/help/xilinx.1
+lib/sis/sis_lib/help/xl_absorb.1
+lib/sis/sis_lib/help/xl_coll_ck.1
+lib/sis/sis_lib/help/xl_cover.1
+lib/sis/sis_lib/help/xl_decomp_two.1
+lib/sis/sis_lib/help/xl_imp.1
+lib/sis/sis_lib/help/xl_k_decomp.1
+lib/sis/sis_lib/help/xl_merge.1
+lib/sis/sis_lib/help/xilinx.fmt
+lib/sis/sis_lib/help/xl_rl.1
+lib/sis/sis_lib/help/xl_part_coll.1
+lib/sis/sis_lib/help/xl_partition.1
+lib/sis/sis_lib/help/write_kiss.fmt
+lib/sis/sis_lib/help/write_oct.fmt
+lib/sis/sis_lib/help/write_pla.fmt
+lib/sis/sis_lib/help/write_slif.fmt
+lib/sis/sis_lib/help/xl_absorb.fmt
+lib/sis/sis_lib/help/xl_ao.fmt
+lib/sis/sis_lib/help/xl_coll_ck.fmt
+lib/sis/sis_lib/help/xl_cover.fmt
+lib/sis/sis_lib/help/xl_decomp_two.fmt
+lib/sis/sis_lib/help/xl_imp.fmt
+lib/sis/sis_lib/help/xl_k_decomp.fmt
+lib/sis/sis_lib/help/xl_rl.fmt
+lib/sis/sis_lib/help/xl_split.1
+lib/sis/sis_lib/help/xl_merge.fmt
+lib/sis/sis_lib/help/astg_lockgraph.1
+lib/sis/sis_lib/help/xl_part_coll.fmt
+lib/sis/sis_lib/help/xl_partition.fmt
+lib/sis/sis_lib/help/xl_split.fmt
+lib/sis/sis_lib/help/history.1
+lib/sis/sis_lib/help/c_check.1
+lib/sis/sis_lib/help/c_opt.1
+lib/sis/sis_lib/help/c_check.fmt
+lib/sis/sis_lib/help/c_opt.fmt
+lib/sis/sis_lib/help/env_seq_dc.1
+lib/sis/sis_lib/help/env_verify_fsm.1
+lib/sis/sis_lib/help/equiv_nets.1
+lib/sis/sis_lib/help/force_init_0.1
+lib/sis/sis_lib/help/free_dc.1
+lib/sis/sis_lib/help/invert_io.1
+lib/sis/sis_lib/help/latch_output.1
+lib/sis/sis_lib/help/remove_dep.1
+lib/sis/sis_lib/help/remove_latches.1
+lib/sis/sis_lib/help/env_seq_dc.fmt
+lib/sis/sis_lib/help/env_verify_fsm.fmt
+lib/sis/sis_lib/help/equiv_nets.fmt
+lib/sis/sis_lib/help/force_init_0.fmt
+lib/sis/sis_lib/help/free_dc.fmt
+lib/sis/sis_lib/help/invert_io.fmt
+lib/sis/sis_lib/help/latch_output.fmt
+lib/sis/sis_lib/help/remove_dep.fmt
+lib/sis/sis_lib/help/ite_map.1
+lib/sis/sis_lib/help/remove_latches.fmt
+lib/sis/sis_lib/help/astg_persist.fmt
+lib/sis/sis_lib/help/speedup_alg.fmt
+lib/sis/sis_lib/help/astg_state_min.1
+lib/sis/sis_lib/help/astg_state_min.fmt
+lib/sis/sis_lib/help/astg_add_state.1
+lib/sis/sis_lib/help/_astg_hfrpdft.1
+lib/sis/sis_lib/help/astg_encode.1
+lib/sis/sis_lib/help/_astg_hfrpdft.fmt
+lib/sis/sis_lib/help/short_tests.1
+lib/sis/sis_lib/help/astg_stg_scr.1
+lib/sis/sis_lib/help/stg_to_astg.1
+lib/sis/sis_lib/help/astg_add_state.fmt
+lib/sis/sis_lib/help/astg_cycle.fmt
+lib/sis/sis_lib/help/astg_encode.fmt
+lib/sis/sis_lib/help/astg_flow.fmt
+lib/sis/sis_lib/help/astg_hfrpdft.fmt
+lib/sis/sis_lib/help/astg_irred.fmt
+lib/sis/sis_lib/help/astg_mgc.fmt
+lib/sis/sis_lib/help/astg_smc.fmt
+lib/sis/sis_lib/help/astg_stg_scr.fmt
+lib/sis/sis_lib/help/stg_to_astg.fmt
+lib/sis/sis_lib/help/short_tests.fmt
+lib/sis/sis_lib/help/power_estimate.1
+lib/sis/sis_lib/help/power_free_info.1
+lib/sis/sis_lib/help/power_print.1
+lib/sis/sis_lib/help/power_estimate.fmt
+lib/sis/sis_lib/help/power_free_info.fmt
+lib/sis/sis_lib/help/power_print.fmt
+lib/sis/sis_lib/help/write_pds.fmt
+lib/sis/sis_lib/help/ite_map.fmt
+lib/sis/sis_lib/help/act_map.1
+lib/sis/sis_lib/minimal.genlib
+lib/sis/sis_lib/.misrc
+lib/sis/sis_lib/script
+lib/sis/sis_lib/22-1.genlib
+lib/sis/sis_lib/22-2.genlib
+lib/sis/sis_lib/33-1.genlib
+lib/sis/sis_lib/33-2.genlib
+lib/sis/sis_lib/33-4.genlib
+lib/sis/sis_lib/43-5.genlib
+lib/sis/sis_lib/44-1.genlib
+lib/sis/sis_lib/44-2.genlib
+lib/sis/sis_lib/44-3.genlib
+lib/sis/sis_lib/44-6.genlib
+lib/sis/sis_lib/example.genlib
+lib/sis/sis_lib/mcnc.genlib
+lib/sis/sis_lib/msu.genlib
+lib/sis/sis_lib/script.msu
+lib/sis/sis_lib/nand-nor.genlib
+lib/sis/sis_lib/script.espresso
+lib/sis/sis_lib/script.mcnc
+lib/sis/sis_lib/weird.genlib
+lib/sis/sis_lib/weird.lib
+lib/sis/sis_lib/.saberinit
+lib/sis/sis_lib/mcnc-subset.genlib
+lib/sis/sis_lib/const.genlib
+lib/sis/sis_lib/script.algebraic
+lib/sis/sis_lib/script.boolean
+lib/sis/sis_lib/script.delay
+lib/sis/sis_lib/.sisrc
+lib/sis/sis_lib/synch.genlib
+lib/sis/sis_lib/script.rugged
+lib/sis/sis_lib/script.rugged.notes
+lib/sis/sis_lib/script.oct
+lib/sis/sis_lib/lib2.genlib
+lib/sis/sis_lib/lib2_latch.genlib
+lib/sis/sis_lib/mcnc_latch.genlib
+lib/sis/sis_lib/msu_latch.genlib
+lib/sis/sis_lib/stdcell2_2.genlib
+lib/sis/sis_lib/asynch.genlib
+lib/sis/RELEASE-NOTES-1.2
+lib/sis/SIS_paper.ps.gz
+man/man1/espresso.1.gz
+man/man1/jedi.1.gz
+man/man1/nova.1.gz
+man/man1/sis.1.gz
+man/man1/sred.1.gz
+man/man1/stamina.1.gz
+man/man1/vst2blif.1.gz
+man/man1/xsis.1.gz
+man/man5/espresso.5.gz
+man/man5/pla.5.gz
+@dirrm lib/sis/sis_lib/help
+@dirrm lib/sis/sis_lib
+@dirrm lib/sis