![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| xl_split.fmt | 1994-06-15 20:51 | 406 | |
| xl_split.1 | 1992-05-14 08:42 | 476 | |
| xl_rl.fmt | 1994-06-15 20:51 | 1.0K | |
| xl_rl.1 | 1992-05-14 08:42 | 1.0K | |
| xl_partition.fmt | 1994-06-15 20:51 | 1.5K | |
| xl_partition.1 | 1992-05-14 08:42 | 1.5K | |
| xl_part_coll.fmt | 1994-06-15 20:51 | 1.2K | |
| xl_part_coll.1 | 1992-05-14 08:42 | 1.2K | |
| xl_merge.fmt | 1994-06-15 20:51 | 1.9K | |
| xl_merge.1 | 1992-05-14 08:42 | 1.9K | |
| xl_k_decomp.fmt | 1994-06-15 20:51 | 1.1K | |
| xl_k_decomp.1 | 1992-05-14 08:42 | 1.1K | |
| xl_imp.fmt | 1994-06-15 20:51 | 2.2K | |
| xl_imp.1 | 1992-05-14 08:42 | 2.2K | |
| xl_decomp_two.fmt | 1994-06-15 20:51 | 1.3K | |
| xl_decomp_two.1 | 1992-05-14 08:42 | 1.3K | |
| xl_cover.fmt | 1994-06-15 20:51 | 818 | |
| xl_cover.1 | 1992-05-14 08:42 | 868 | |
| xl_coll_ck.fmt | 1994-06-15 20:51 | 869 | |
| xl_coll_ck.1 | 1992-05-14 08:42 | 934 | |
| xl_ao.fmt | 1994-06-15 20:51 | 396 | |
| xl_ao.1 | 1992-05-14 08:42 | 461 | |
| xl_absorb.fmt | 1994-06-15 20:51 | 694 | |
| xl_absorb.1 | 1992-05-14 08:42 | 763 | |
| xilinx.fmt | 1994-06-15 20:51 | 1.0K | |
| xilinx.1 | 1992-05-14 08:42 | 1.1K | |
| write_slif.fmt | 1994-06-15 20:51 | 875 | |
| write_slif.1 | 1992-05-14 08:42 | 917 | |
| write_pla.fmt | 1994-06-15 20:51 | 305 | |
| write_pla.1 | 1992-05-14 08:42 | 378 | |
| write_pds.fmt | 1994-06-16 14:24 | 678 | |
| write_pds.1 | 1994-06-16 14:24 | 744 | |
| write_oct.fmt | 1994-06-15 20:51 | 1.2K | |
| write_oct.1 | 1992-05-14 08:42 | 1.2K | |
| write_kiss.fmt | 1994-06-15 20:51 | 340 | |
| write_kiss.1 | 1992-05-14 08:42 | 409 | |
| write_eqn.fmt | 1994-06-15 20:51 | 839 | |
| write_eqn.1 | 1992-05-14 08:42 | 900 | |
| write_blif.fmt | 1994-06-15 20:51 | 608 | |
| write_blif.1 | 1992-05-14 08:42 | 663 | |
| write_bdnet.fmt | 1994-06-15 20:51 | 919 | |
| write_bdnet.1 | 1992-05-14 08:42 | 954 | |
| write_astg.fmt | 1994-06-15 20:51 | 594 | |
| write_astg.1 | 1993-11-04 12:00 | 530 | |
| wd.fmt | 1994-06-15 20:51 | 480 | |
| wd.1 | 1992-05-14 08:42 | 573 | |
| verify_fsm.fmt | 1994-06-15 20:51 | 1.6K | |
| verify_fsm.1 | 1992-05-14 08:42 | 1.6K | |
| verify.fmt | 1994-06-15 20:51 | 761 | |
| verify.1 | 1992-05-14 08:42 | 843 | |
| usage.fmt | 1994-06-15 20:51 | 357 | |
| usage.1 | 1992-05-14 08:42 | 401 | |
| unset.fmt | 1994-06-15 20:51 | 1.7K | |
| unset.1 | 1992-05-14 08:42 | 1.6K | |
| undo.fmt | 1994-06-15 20:51 | 419 | |
| undo.1 | 1992-05-14 08:42 | 467 | |
| unalias.fmt | 1994-06-15 20:51 | 602 | |
| unalias.1 | 1992-05-14 08:42 | 666 | |
| trail | 1992-05-14 08:42 | 152 | |
| timeout.fmt | 1994-06-15 20:51 | 464 | |
| timeout.1 | 1992-05-14 08:42 | 542 | |
| time.fmt | 1994-06-15 20:51 | 299 | |
| time.1 | 1992-05-14 08:42 | 368 | |
| tech_decomp.fmt | 1994-06-15 20:51 | 572 | |
| tech_decomp.1 | 1992-05-14 08:42 | 667 | |
| sweep.fmt | 1994-06-15 20:51 | 399 | |
| sweep.1 | 1992-05-14 08:42 | 452 | |
| stg_to_network.fmt | 1994-06-15 20:51 | 1.1K | |
| stg_to_network.1 | 1992-05-14 08:42 | 1.2K | |
| stg_to_astg.fmt | 1994-06-15 20:51 | 957 | |
| stg_to_astg.1 | 1993-11-04 12:00 | 898 | |
| stg_extract.fmt | 1994-06-15 20:51 | 1.7K | |
| stg_extract.1 | 1992-05-14 08:42 | 1.5K | |
| stg_cover.fmt | 1994-06-15 20:51 | 542 | |
| stg_cover.1 | 1992-05-14 08:42 | 591 | |
| state_minimize.fmt | 1994-06-15 20:50 | 1.2K | |
| state_minimize.1 | 1992-05-14 08:42 | 1.2K | |
| state_assign.fmt | 1994-06-15 20:50 | 1.3K | |
| state_assign.1 | 1992-05-14 08:42 | 1.3K | |
| speedup_alg.fmt | 1994-06-15 20:50 | 1.3K | |
| speedup_alg.1 | 1993-08-18 12:09 | 1.1K | |
| speed_up.fmt | 1994-06-15 20:50 | 2.2K | |
| speed_up.1 | 1992-05-14 08:42 | 2.2K | |
| source.fmt | 1994-06-15 20:50 | 2.0K | |
| source.1 | 1992-05-14 08:42 | 1.8K | |
| sis.man | 1994-07-01 18:31 | 24K | |
| sis.1 | 1994-07-01 18:32 | 260K | |
| simulate.fmt | 1994-06-15 20:50 | 1.3K | |
| simulate.1 | 1992-05-14 08:42 | 1.3K | |
| simplify.fmt | 1994-06-15 20:50 | 1.6K | |
| simplify.1 | 1993-09-19 15:01 | 1.5K | |
| sim_verify.fmt | 1994-06-15 20:50 | 812 | |
| sim_verify.1 | 1992-05-14 08:42 | 854 | |
| short_tests.fmt | 1994-06-15 20:50 | 3.3K | |
| short_tests.1 | 1994-06-10 14:50 | 3.0K | |
| set_state.fmt | 1994-06-15 20:50 | 711 | |
| set_state.1 | 1992-05-14 08:42 | 762 | |
| set_delay.fmt | 1994-06-15 20:50 | 2.5K | |
| set_delay.1 | 1992-05-14 08:42 | 2.5K | |
| set.fmt | 1994-06-15 20:50 | 3.6K | |
| set.1 | 1992-05-14 08:42 | 2.7K | |
| save.fmt | 1994-06-15 20:50 | 664 | |
| save.1 | 1992-05-14 08:42 | 717 | |
| retime.fmt | 1994-06-15 20:50 | 3.6K | |
| retime.1 | 1992-05-14 08:42 | 3.2K | |
| resub.fmt | 1994-06-15 20:50 | 1.1K | |
| resub.1 | 1992-05-14 08:42 | 1.2K | |
| reset_name.fmt | 1994-06-15 20:50 | 369 | |
| reset_name.1 | 1992-05-14 08:42 | 450 | |
| replace.fmt | 1994-06-15 20:50 | 449 | |
| replace.1 | 1992-05-14 08:42 | 522 | |
| remove_latches.fmt | 1994-06-15 20:50 | 1.4K | |
| remove_latches.1 | 1993-07-15 12:49 | 1.3K | |
| remove_dep.fmt | 1994-06-15 20:50 | 1.2K | |
| remove_dep.1 | 1993-07-15 12:49 | 1.1K | |
| reduce_depth.fmt | 1994-06-15 20:50 | 2.3K | |
| reduce_depth.1 | 1993-07-15 12:49 | 2.3K | |
| red_removal.fmt | 1994-06-15 20:50 | 4.2K | |
| red_removal.1 | 1994-06-10 14:50 | 3.8K | |
| read_slif.fmt | 1994-06-15 20:50 | 466 | |
| read_slif.1 | 1992-05-14 08:42 | 529 | |
| read_pla.fmt | 1994-06-15 20:50 | 1.9K | |
| read_pla.1 | 1992-05-14 08:42 | 1.8K | |
| read_oct.fmt | 1994-06-15 20:50 | 609 | |
| read_oct.1 | 1992-05-14 08:42 | 652 | |
| read_library.fmt | 1994-06-15 20:50 | 705 | |
| read_library.1 | 1992-05-14 08:42 | 775 | |
| read_kiss.fmt | 1994-06-15 20:50 | 1.0K | |
| read_kiss.1 | 1992-05-14 08:42 | 1.0K | |
| read_eqn.fmt | 1994-06-15 20:50 | 2.5K | |
| read_eqn.1 | 1992-05-14 08:42 | 2.1K | |
| read_blif.fmt | 1994-06-15 20:50 | 1.9K | |
| read_blif.1 | 1992-05-14 08:42 | 1.9K | |
| read_astg.fmt | 1994-06-15 20:50 | 2.6K | |
| read_astg.1 | 1993-11-04 12:00 | 2.3K | |
| quit.fmt | 1994-06-15 20:50 | 405 | |
| quit.1 | 1993-02-12 11:45 | 466 | |
| print_value.fmt | 1994-06-15 20:50 | 801 | |
| print_value.1 | 1992-05-14 08:42 | 862 | |
| print_stats.fmt | 1994-06-15 20:50 | 819 | |
| print_stats.1 | 1992-05-14 08:42 | 864 | |
| print_state.fmt | 1994-06-15 20:50 | 540 | |
| print_state.1 | 1992-05-14 08:42 | 592 | |
| print_map_stats.fmt | 1994-06-15 20:50 | 273 | |
| print_map_stats.1 | 1992-05-14 08:42 | 346 | |
| print_library.fmt | 1994-06-15 20:50 | 1.1K | |
| print_library.1 | 1992-05-14 08:42 | 1.1K | |
| print_level.fmt | 1994-06-15 20:50 | 908 | |
| print_level.1 | 1992-05-14 08:42 | 1.0K | |
| print_latch.fmt | 1994-06-15 20:50 | 776 | |
| print_latch.1 | 1992-05-14 08:42 | 823 | |
| print_kernel.fmt | 1994-06-15 20:50 | 469 | |
| print_kernel.1 | 1992-05-14 08:42 | 546 | |
| print_io.fmt | 1994-06-15 20:50 | 441 | |
| print_io.1 | 1992-05-14 08:42 | 514 | |
| print_gate.fmt | 1994-06-15 20:50 | 408 | |
| print_gate.1 | 1992-05-14 08:42 | 481 | |
| print_factor.fmt | 1994-06-15 20:50 | 366 | |
| print_factor.1 | 1992-05-14 08:42 | 423 | |
| print_delay.fmt | 1994-06-15 20:50 | 2.5K | |
| print_delay.1 | 1993-07-12 14:20 | 2.4K | |
| print_clock.fmt | 1994-06-15 20:50 | 365 | |
| print_clock.1 | 1992-05-14 08:42 | 433 | |
| print_altname.fmt | 1994-06-15 20:50 | 419 | |
| print_altname.1 | 1992-05-14 08:42 | 491 | |
| print.fmt | 1994-06-15 20:50 | 483 | |
| print.1 | 1997-04-06 18:20 | 550 | |
| power_print.fmt | 1994-06-15 20:50 | 324 | |
| power_print.1 | 1994-04-20 11:42 | 398 | |
| power_free_info.fmt | 1994-06-15 20:50 | 279 | |
| power_free_info.1 | 1994-04-20 11:42 | 352 | |
| power_estimate.fmt | 1994-07-01 16:18 | 2.9K | |
| power_estimate.1 | 1994-07-01 16:18 | 3.1K | |
| plot_blif.fmt | 1994-06-15 20:49 | 1.5K | |
| plot_blif.1 | 1992-10-17 16:50 | 1.5K | |
| phase.fmt | 1994-06-15 20:49 | 1.2K | |
| phase.1 | 1992-05-14 08:42 | 1.2K | |
| one_hot.fmt | 1994-06-15 20:49 | 345 | |
| one_hot.1 | 1992-05-14 08:42 | 401 | |
| map.fmt | 1994-06-15 20:49 | 5.8K | |
| map.1 | 1992-05-14 08:42 | 5.5K | |
| make.awk | 1992-05-14 08:42 | 699 | |
| latch_output.fmt | 1994-06-15 20:49 | 866 | |
| latch_output.1 | 1993-07-15 12:49 | 792 | |
| ite_map.fmt | 1994-06-24 09:49 | 3.5K | |
| ite_map.1 | 1994-06-24 09:48 | 3.3K | |
| invert_io.fmt | 1994-06-15 20:49 | 446 | |
| invert_io.1 | 1993-07-15 12:49 | 394 | |
| invert.fmt | 1994-06-15 20:49 | 443 | |
| invert.1 | 1992-05-14 08:42 | 500 | |
| history.fmt | 1994-06-15 20:49 | 2.0K | |
| history.1 | 1992-05-14 08:42 | 1.9K | |
| help.fmt | 1994-06-15 20:49 | 489 | |
| help.1 | 1992-05-14 08:42 | 542 | |
| header.me | 1994-06-15 20:48 | 79 | |
| gkx.fmt | 1994-06-15 20:49 | 1.8K | |
| gkx.1 | 1992-05-14 08:42 | 1.8K | |
| gcx.fmt | 1994-06-15 20:49 | 1.2K | |
| gcx.1 | 1992-05-14 08:42 | 1.2K | |
| fx.fmt | 1994-06-15 20:49 | 1.2K | |
| fx.1 | 1992-07-31 11:37 | 1.2K | |
| full_simplify.fmt | 1994-06-15 20:49 | 2.2K | |
| full_simplify.1 | 1992-05-14 08:42 | 2.2K | |
| free_dc.fmt | 1994-06-15 20:49 | 304 | |
| free_dc.1 | 1993-07-15 12:49 | 370 | |
| format | 1992-05-14 08:42 | 44 | |
| force_init_0.fmt | 1994-06-15 20:49 | 489 | |
| force_init_0.1 | 1993-07-15 12:49 | 431 | |
| fanout_param.fmt | 1994-06-15 20:49 | 401 | |
| fanout_param.1 | 1992-05-14 08:42 | 472 | |
| fanout_alg.fmt | 1994-06-15 20:49 | 753 | |
| fanout_alg.1 | 1992-05-14 08:42 | 746 | |
| factor.fmt | 1994-06-15 20:49 | 550 | |
| factor.1 | 1992-05-14 08:42 | 583 | |
| extract_seq_dc.fmt | 1994-06-15 20:49 | 1.4K | |
| extract_seq_dc.1 | 1993-07-15 12:49 | 1.4K | |
| espresso.fmt | 1994-06-15 20:49 | 337 | |
| espresso.1 | 1992-05-14 08:42 | 386 | |
| equiv_nets.fmt | 1994-06-15 20:49 | 949 | |
| equiv_nets.1 | 1993-07-15 12:49 | 887 | |
| env_verify_fsm.fmt | 1994-06-15 20:49 | 1.4K | |
| env_verify_fsm.1 | 1993-07-19 12:11 | 1.4K | |
| env_seq_dc.fmt | 1994-06-15 20:49 | 1.1K | |
| env_seq_dc.1 | 1993-07-15 12:49 | 1.1K | |
| eliminate.fmt | 1994-06-15 20:49 | 1.1K | |
| eliminate.1 | 1992-05-14 08:42 | 1.1K | |
| echo.fmt | 1994-06-15 20:49 | 227 | |
| echo.1 | 1992-05-14 08:42 | 293 | |
| decomp.fmt | 1994-06-15 20:49 | 2.0K | |
| decomp.1 | 1992-05-14 08:42 | 2.0K | |
| constraints.fmt | 1994-06-15 20:49 | 469 | |
| constraints.1 | 1992-05-14 08:42 | 532 | |
| collapse.fmt | 1994-06-15 20:49 | 1.0K | |
| collapse.1 | 1992-05-14 08:42 | 1.1K | |
| chng_name.fmt | 1994-06-15 20:49 | 322 | |
| chng_name.1 | 1992-05-14 08:42 | 389 | |
| chng_clock.fmt | 1994-06-15 20:49 | 753 | |
| chng_clock.1 | 1992-05-14 08:42 | 804 | |
| c_opt.fmt | 1994-06-15 20:49 | 2.0K | |
| c_opt.1 | 1993-07-22 10:54 | 1.5K | |
| c_check.fmt | 1994-06-15 20:49 | 882 | |
| c_check.1 | 1993-07-22 10:54 | 598 | |
| buffer_opt.fmt | 1994-06-15 20:49 | 2.1K | |
| buffer_opt.1 | 1992-05-14 08:42 | 2.1K | |
| bdsyn.fmt | 1994-06-15 20:49 | 248 | |
| bdsyn.1 | 1992-05-14 08:42 | 315 | |
| atpg.fmt | 1994-06-15 20:49 | 4.0K | |
| atpg.1 | 1994-06-10 14:50 | 3.6K | |
| astg_to_stg.fmt | 1994-06-15 20:49 | 932 | |
| astg_to_stg.1 | 1993-11-04 12:00 | 858 | |
| astg_to_f.fmt | 1994-06-15 20:49 | 2.3K | |
| astg_to_f.1 | 1993-11-04 12:00 | 2.1K | |
| astg_syn.fmt | 1994-06-15 20:49 | 1.9K | |
| astg_syn.1 | 1992-05-14 08:42 | 1.9K | |
| astg_stg_scr.fmt | 1994-06-15 20:49 | 599 | |
| astg_stg_scr.1 | 1993-11-04 12:00 | 543 | |
| astg_state_min.fmt | 1994-06-15 20:49 | 3.5K | |
| astg_state_min.1 | 1993-11-04 12:00 | 3.3K | |
| astg_smc.fmt | 1993-11-04 12:01 | 468 | |
| astg_slow.fmt | 1994-06-15 20:49 | 3.3K | |
| astg_slow.1 | 1993-11-04 12:00 | 3.1K | |
| astg_print_stat.fmt | 1994-06-15 20:49 | 359 | |
| astg_print_stat.1 | 1992-05-14 08:42 | 426 | |
| astg_print_sg.fmt | 1994-06-15 20:49 | 301 | |
| astg_print_sg.1 | 1992-05-14 08:42 | 373 | |
| astg_persist.fmt | 1993-07-15 13:08 | 752 | |
| astg_persist.1 | 1993-11-04 12:00 | 672 | |
| astg_mgc.fmt | 1993-11-04 12:01 | 467 | |
| astg_marking.fmt | 1994-06-15 20:49 | 634 | |
| astg_marking.1 | 1993-11-04 12:00 | 604 | |
| astg_lockgraph.fmt | 1994-06-15 20:49 | 831 | |
| astg_lockgraph.1 | 1993-11-04 12:00 | 749 | |
| astg_irred.fmt | 1993-11-04 12:01 | 754 | |
| astg_hfrpdft.fmt | 1993-11-04 12:01 | 622 | |
| astg_flow.fmt | 1993-11-04 12:01 | 1.5K | |
| astg_encode.fmt | 1994-06-15 20:49 | 724 | |
| astg_encode.1 | 1993-11-04 12:00 | 668 | |
| astg_cycle.fmt | 1993-11-04 12:01 | 298 | |
| astg_current.fmt | 1994-06-15 20:49 | 440 | |
| astg_current.1 | 1993-11-04 12:00 | 386 | |
| astg_contract.fmt | 1994-06-15 20:49 | 512 | |
| astg_contract.1 | 1993-11-04 12:00 | 454 | |
| astg_add_state.fmt | 1994-06-15 20:49 | 495 | |
| astg_add_state.1 | 1993-11-04 12:00 | 453 | |
| alias.fmt | 1994-06-15 20:49 | 1.7K | |
| alias.1 | 1992-05-14 08:42 | 1.6K | |
| add_inverter.fmt | 1994-06-15 20:49 | 473 | |
| add_inverter.1 | 1992-05-14 08:42 | 530 | |
| act_map.fmt | 1994-06-15 20:48 | 3.7K | |
| act_map.1 | 1992-05-14 08:41 | 3.6K | |
| _astg_smc.fmt | 1994-06-15 20:48 | 468 | |
| _astg_smc.1 | 1993-11-04 12:00 | 421 | |
| _astg_mgc.fmt | 1994-06-15 20:48 | 467 | |
| _astg_mgc.1 | 1993-11-04 12:00 | 420 | |
| _astg_irred.fmt | 1994-06-15 20:48 | 754 | |
| _astg_irred.1 | 1993-11-04 12:00 | 680 | |
| _astg_hfrpdft.fmt | 1994-06-15 20:48 | 622 | |
| _astg_hfrpdft.1 | 1993-11-04 12:00 | 432 | |
| _astg_flow.fmt | 1994-06-15 20:48 | 1.5K | |
| _astg_flow.1 | 1993-11-04 12:00 | 1.4K | |
| _astg_cycle.fmt | 1994-06-15 20:48 | 298 | |
| _astg_cycle.1 | 1993-11-04 12:00 | 254 | |
| Makefile | 1994-06-24 21:37 | 9.9K | |