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