def minpat(tv_list, fault_list, network, fault_type, cmp_algorithm) :
if cmp_algorithm == 'mincov+dsatur' :
tv_list1 = mincov(fault_list, tv_list, network, fault_type)
tv_list2 = coloring(tv_list1, 'dsatur')
return tv_list2
elif cmp_algorithm == 'mincov+isx' :
tv_list1 = mincov(fault_list, tv_list, network, fault_type)
tv_list2 = coloring(tv_list1, 'isx')
return tv_list2
elif cmp_algorithm == 'dsatur+mincov' :
tv_list1 = coloring(tv_list, 'dsatur')
tv_list2 = mincov(fault_list, tv_list1, network, fault_type)
return tv_list2
elif cmp_algorithm == 'isx+mincov' :
tv_list1 = coloring(tv_list, 'isx')
tv_list2 = mincov(fault_list, tv_list1, network, fault_type)
return tv_list2
elif cmp_algorithm == 'dsatur' :
tv_list1 = coloring(tv_list, 'dsatur')
return tv_list1
elif cmp_algorithm == 'isx' :
tv_list1 = coloring(tv_list, 'isx')
return tv_list1
elif cmp_algorithm == 'coloring2' :
tv_list1 = MinPatMgr.coloring(fault_list, tv_list, network, fault_type)
return tv_list1
elif cmp_algorithm == 'mincov' :
tv_list1 = mincov(fault_list, tv_list, network, fault_type)
return tv_list1
elif cmp_algorithm != '' :
print('Error: unknown algorithm "{}"'.format(cmp_algorithm))
return None
def main():
parser = argparse.ArgumentParser()
mode_group = parser.add_mutually_exclusive_group()
mode_group.add_argument('-f',
'--ffr',
action='store_true',
help='run in FFR mode [default]')
mode_group.add_argument('-m',
'--mffc',
action='store_true',
help='run in MFFC mode')
type_group = parser.add_mutually_exclusive_group()
type_group.add_argument('--stuck_at',
action='store_true',
help='TPG for stuck-at fault [default]')
type_group.add_argument('--transition_delay',
action='store_true',
help='TPG for transition-delay fault')
fmt_group = parser.add_mutually_exclusive_group()
fmt_group.add_argument('--blif',
action='store_true',
help='read blif file [default]')
fmt_group.add_argument('--iscas89',
action='store_true',
help='read ISCAS89 file')
parser.add_argument('--drop', action='store_true', help='fault drop mode')
parser.add_argument('--compaction',
type=str,
metavar='<compaction algorithm>',
help='specify compaction algorithm')
parser.add_argument('file_list',
metavar='<filename>',
type=str,
nargs='+',
help='file name')
args = parser.parse_args()
if not args:
exit(1)
if args.ffr:
mode = 'ffr'
elif args.mffc:
mode = 'mffc'
else:
# デフォルト
mode = 'ffr'
drop = args.drop
if args.stuck_at:
fault_type = FaultType.StuckAt
elif args.transition_delay:
fault_type = FaultType.TransitionDelay
else:
# デフォルト
fault_type = FaultType.StuckAt
if args.blif:
file_format = 'blif'
elif args.iscas89:
file_format = 'iscas89'
else:
file_format = None
cmp_algorithm = args.compaction
for file_name in args.file_list:
file_format1 = file_format
if not file_format1:
body, ext = os.path.splitext(file_name)
if ext == '.blif':
file_format1 = 'blif'
elif ext == '.bench':
file_format1 = 'iscas89'
else:
# デフォルト
file_format1 = 'blif'
if file_format1 == 'blif':
network = TpgNetwork.read_blif(file_name)
elif file_format1 == 'iscas89':
network = TpgNetwork.read_iscas89(file_name)
else:
# ここに来るはずはない．
assert False
if not network:
print('Error, could not read {}'.format(file_name))
continue
start = time.process_time()
dtpg = Dtpg(network, fault_type)
if mode == 'ffr':
ndet, nunt, nabt = dtpg.ffr_mode(drop)
elif mode == 'mffc':
ndet, nunt, nabt = dtpg.mffc_mode(drop)
lap1 = time.process_time()
cpu_time = lap1 - start
tv_list = dtpg.tvlist
if cmp_algorithm == 'mincov+dsatur':
tv_list1 = mincov(dtpg.fault_list, tv_list, network, fault_type)
tv_list2 = coloring(tv_list1, 'dsatur')
tv_list = tv_list2
elif cmp_algorithm == 'mincov+isx':
tv_list1 = mincov(dtpg.fault_list, tv_list, network, fault_type)
tv_list2 = coloring(tv_list1, 'isx')
tv_list = tv_list2
elif cmp_algorithm == 'dsatur+mincov':
tv_list1 = coloring(tv_list, 'dsatur')
tv_list2 = mincov(dtpg.fault_list, tv_list1, network, fault_type)
tv_list = tv_list2
elif cmp_algorithm == 'isx+mincov':
tv_list1 = coloring(tv_list, 'isx')
tv_list2 = mincov(dtpg.fault_list, tv_list1, network, fault_type)
tv_list = tv_list2
elif cmp_algorithm == 'dsatur':
tv_list1 = coloring(tv_list, 'dsatur')
tv_list = tv_list1
elif cmp_algorithm == 'isx':
tv_list1 = coloring(tv_list, 'isx')
tv_list = tv_list1
elif cmp_algorithm == 'coloring2':
fault_list = list(dtpg.fault_list)
MinPatMgr.fault_reduction(fault_list, network, fault_type,
'red1,red2')
tv_list1 = MinPatMgr.coloring(fault_list, tv_list, network,
fault_type)
tv_list = tv_list1
elif cmp_algorithm == 'mincov':
tv_list1 = mincov(dtpg.fault_list, tv_list, network, fault_type)
tv_list = tv_list1
elif cmp_algorithm != '':
print('Error: unknown algorithm "{}"'.format(cmp_algorithm))
lap2 = time.process_time()
cpu_time2 = lap2 - lap1
tf = 0
for i in network.rep_fault_list():
tf += 1
print('file name: {}'.format(file_name))
print('# of total faults: {:8d}'.format(tf))
print('# of detected faults: {:8d}'.format(ndet))
print('# of untestable faults: {:8d}'.format(nunt))
print('# of aborted faults: {:8d}'.format(nabt))
print('# of patterns: {:8d}'.format(len(tv_list)))
print('CPU time(ATPG): {:8.2f}'.format(cpu_time))
print('CPU time(compaction): {:8.2f}'.format(cpu_time2))