kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Sis, a program suite for synthesis of sequential circuits.

Browse source 
PR:		ports/5104
Submitted by:	Frank Volf <volf@oasis.IAEhv.nl>
This commit is contained in:
Guy Helmer 1998-07-01 15:39:43 +00:00
parent 9b5b3cb3b3
commit 266e501e5d
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=11640
6 changed files with 506 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

62
cad/sis/Makefile Normal file
View file

@ -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>

2
cad/sis/distinfo Normal file
View file

@ -0,0 +1,2 @@
MD5 (sis-1.2.tar.Z) = 4a6a427c2e10f166c6c080630713a016
MD5 (sis-1.2.patch1.Z) = ea713114d925c04463b0ec87dad3ff57

47
cad/sis/files/Makefile.FreeBSD Normal file
View file

@ -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

1
cad/sis/pkg-comment Normal file
View file

@ -0,0 +1 @@
Synthesis program for the synthesis of sequential circuits.

26
cad/sis/pkg-descr Normal file
View file

@ -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

368
cad/sis/pkg-plist Normal file
View file

@ -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