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
@dirrm lib/sis/sis_lib/help
@dirrm lib/sis/sis_lib
@dirrm lib/sis