Sis, a program suite for synthesis of sequential circuits.

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

1 files changed, 368 insertions, 0 deletions

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