atalanta

代码说明：

  基于stack-at fault的超大规模数字集成电路自动测试向量生成算法（ATPG）。输入.bench格式，输出测试向量。(Automatic test pattern generation (ATPG) algorithm for VLSI circuits )

文件列表：

atalanta
........\atalanta,189468,2000-02-21
........\atalanta.c,19477,2000-02-21
........\Atalanta.IAB,40960,2006-04-05
........\Atalanta.IAD,728,2006-04-05
........\Atalanta.IMB,53248,2006-04-05
........\Atalanta.IMD,848,2006-04-05
........\Atalanta.PFI,108,2006-04-05
........\Atalanta.PO,776,2006-04-05
........\Atalanta.PR,8936,2006-04-05
........\Atalanta.PRI,55160,2006-04-05
........\Atalanta.PS,410732,2006-04-05
........\Atalanta.WK3,16942,2006-09-29
........\define.h,7898,2000-02-21
........\define_fault_list.c,20525,2000-02-21
........\error.c,2441,2000-02-21
........\fan.c,43520,2000-02-21
........\fsim.c,30131,2000-02-21
........\global.d,4074,2000-02-21
........\hash.c,6206,2000-02-21
........\help.c,5429,2000-02-21
........\help_fsim.c,4958,2000-02-21
........\io.c,17088,2000-02-21
........\learn.c,13447,2000-02-21
........\lsim.c,4536,2000-02-21
........\macro.h,9607,2000-02-21
........\main_fsim.c,11934,2000-02-21
........\makefile,2448,1997-09-25
........\htm" target=_blank>man,11308,1997-10-27
........\parameter.h,3170,2000-02-21
........\pio.c,19974,2000-02-21
........\ppsfp.c,24953,2000-02-21
........\print.c,11585,2000-02-21
........\random.c,3079,2000-02-21
........\htm" target=_blank>README,15035,2000-02-21
........\read_cct.c,12329,2000-02-21
........\sim.c,30436,2000-02-21
........\stem.c,7150,2000-02-21
........\structure.c,10784,2000-02-21
........\testability.c,2532,2000-02-21
........\tgen.c,4359,2000-02-21
........\truth.c,4488,2000-02-21
........\truthtable.h,5605,2000-02-21