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