def analysys_power(settings):
## 電力を求める
# vcdファイルを作るためのshを実行
make_dump(settings)
os.system("bash " + settings["name"] + "_vcs.sh")
combine = Synopsys.combine("../template/AnalysisPower", settings)
Synopsys.pt_shell(combine)
def analysys_power_f(settings, f):
## ファイル指定したstilで電力を求める
os.system("cp " + settings["stil"] + " temp.stil")
os.system("cp " + f + " " + settings["stil"])
settings["power"] = settings["name"] + "_report_power_sorted"
make_dump(settings)
os.system("bash " + settings["name"] + "_vcs.sh")
combine = Synopsys.combine("../template/AnalysisPower", settings)
Synopsys.pt_shell(combine)
os.system("cp " + " temp.stil " + settings["stil"])
os.remove("temp.stil")
def analysys_power_f(settings, f):
## ファイル指定したstilで電力を求める
os.system('cp ' + settings["stil"] + ' temp.stil')
os.system('cp ' + f + ' ' + settings["stil"])
settings["power"] = settings['name'] + '_report_power_sorted'
make_dump(settings)
os.system('bash ' + settings["name"] + '_vcs.sh')
combine = Synopsys.combine('../template/AnalysisPower', settings)
Synopsys.pt_shell(combine)
os.system('cp ' + ' temp.stil ' + settings["stil"])
os.remove('temp.stil')
os.chdir(".temp") # よくわからないファイルが出るので作業ディレクトリの変更
settings_path()
settings = dict(
nangate_db="../data/Nangate/nangate45nm.db",
nangate_v="../data/Nangate/nangate.v",
name=target,
clock=clock_judge(target),
vhd="../data/ITC99/" + target + ".vhd",
vg=target + ".vg",
spf=target + ".spf",
stil=target + ".stil",
slk=target + ".slk",
stilcsv=target + ".stilcsv",
vcd=target + ".vcd",
fault=target + "_report_faults.txt",
power=target + "_report_power",
first_p=1,
last_p=1,
)
# 論理合成をしてSDQLをもとめる
Synopsys.add_dump_code_in_stildpv(circuit=target)
# 電力をもとめる
Synopsys.compute_test_power(context=settings, stil_f=target + ".xoptimise.stil")
Synopsys.compute_test_power(context=settings, stil_f=target + ".proposexoptimise.stil")
Synopsys.compute_test_power(context=settings, stil_f=target + ".randomoptimise.stil")
settings_path()
settings = dict(nangate_db = '../data/Nangate/nangate45nm.db',
nangate_v = '../data/Nangate/nangate.v',
name = target,
clock = clock_judge(target),
vhd = '../data/ITC99/' + target + '.vhd',
vg = target + '.vg',
spf = target + '.spf',
stil = target + '.stil',
slk = target + '.slk',
stilcsv = target + '.stilcsv',
vcd = target + '.vcd',
fault = target + '_report_faults.txt',
power = target + '_report_power',
first_p = 1,
last_p = 1
)
# 論理合成をしてSDQLをもとめる
Synopsys.system(shell='dc', script='../template/LogicSynthesis', context=settings)
Synopsys.system(shell='pt', script='../template/AnalysisPass', context=settings)
Synopsys.system(shell='tmax', script='../template/GeneratePatternForSDQLwithX', context=settings)
Synopsys.system(shell='tmax', script='../template/RequestSDQL', context=settings)
# 電力をもとめる
#Synopsys.add_dump_code_in_stildpv(circuit='b05')
#Synopsys.compute_test_power(context=settings,stil_f=settings["stil"])
#Synopsys.compute_test_power(context=settings,stil_f='stil_c')
for i in output_dict:
f.write(i)
break
print('fault :' + fault_sentence)
# ループの終了
# 最後にoutputパターンが見当たらない時，そのパターンがコピーされる
if len(fault_sentence) == 0:
with open(target + '.test_si', 'a+') as f:
f.write(str(pattern_num) + ' ' + input_pattern + '\n')
shutil.copy('tmp_' + settings['stil'], target + '/' + str(pattern_num) + '_' + 'end_' + settings['stil'])
print('pattern finish')
break
# テストパターン生成の実行
Synopsys.run(shell='tmax', script='../template/GeneratePatternForCombination', context=settings)
# 生成されたテストパターンの取得
try:
next_input_pattern = SortMinTransition.extract_pattern_comb(target + '_comb.stil')[0]['pi']
except:
print('パターンが見つかりませんでした')
continue
# 最初の一回だけ
if(pattern_num != before_num):
shutil.copy(settings['stil'], target + '/' + str(pattern_num) + '_' + 'start_' + settings['stil'])
before_num = pattern_num
# パターンが更新される毎にバックアップ
shutil.copy(settings['stil'], 'tmp_' + settings['stil'])
if __name__ == '__main__':
target = 'b05'
os.chdir('.temp') # よくわからないファイルが出るので作業ディレクトリの変更
settings_path()
settings = dict(nangate_db = '../data/Nangate/nangate45nm.db',
nangate_v = '../data/Nangate/nangate.v',
name = target,
clock = clock_judge(target),
vhd = '../data/ITC99/' + target + '.vhd',
vg = target + '.vg',
spf = target + '.spf',
stil = target + '.stil',
slk = target + '.slk',
stilcsv = target + '.stilcsv',
vcd = target + '.vcd',
fault = target + '_report_faults.txt',
power = target + '_report_power',
first_p = 1,
last_p = 1
)
settings['stil'] = target + '.proposexoptimise.stil'
num = SortMinTransition.pattern_num(settings['stil'])
for i in range(num):
settings['last_p'] = i + 1
os.system('echo ' + str(settings['last_p']) + ' >> ' + settings['stil'] + '.sdql')
Synopsys.system(shell='tmax', script='../template/RequestSDQL_with_p', context=settings)
settings = dict(nangate_db = '../data/Nangate/nangate45nm.db',
nangate_v = '../data/Nangate/nangate.v',
name = target,
clock = clock_judge(target),
vhd = '../data/ITC99/' + target + '.vhd',
vg = target + '.vg',
spf = target + '.spf',
stil = target + '.stil',
slk = target + '.slk',
stilcsv = target + '.stilcsv',
vcd = target + '.vcd',
fault = target + '_report_faults.txt',
power = target + '_report_power',
first_p = 1,
last_p = 1
)
# 論理合成をしてSDQLをもとめる
#Synopsys.system(shell='dc', script='../template/LogicSynthesis', context=settings)
#Synopsys.system(shell='pt', script='../template/AnalysisPass', context=settings)
#Synopsys.system(shell='tmax', script='../template/GeneratePatternForSDQLwithX', context=settings)
#Synopsys.system(shell='tmax', script='../template/RequestSDQL', context=settings)
# 電力をもとめる
settings['vg'] = target + '_comb.vg'
Synopsys.add_dump_code_in_stildpv(circuit='b05')
Synopsys.compute_test_power(context=settings)
#Synopsys.compute_test_power(context=settings, stil_f=target + '_comb_start.stil')
#Synopsys.compute_test_power(context=settings, stil_f=target + '_comb_end.stil')
def get_pattern(pattern_num, pattern):
already_fault_stuck = []
script = []
pattern_num = str(pattern_num)
input_pattern = pattern['test_si'].replace('N', 'x')
try:
os.remove(target + '_comb.stil')
except:
pass
try:
os.remove(target + '_test.v')
except:
pass
while True:
print('-------------------------')
print('input :' + input_pattern)
script.append("ppi_ps_reg = " + str(len(input_pattern)) + "'b" +input_pattern + ';')
script.append('$monitor("%b", ppo_ps_reg);')
script.append('#100 $finish;')
Verilog.convert_json_test_bench('../' + target + '.json', script_l=script, output_f=target + '_test.v')
script = []
# vcs の 実行
STILDPV_HOME = "/cad/Synopsys/TetraMax/E-2010.12-SP2/linux/stildpv"
DPV_FILE = target + '_test.v'
NETLIST_FILES = '../' + target + '_comb.vg'
LIB_FILES = '-v ../../data/Nangate/nangate.v'
output = subprocess.check_output('vcs -R +acc+2 +vcs+lic+wait -P ' + STILDPV_HOME + '/lib/stildpv_vcs.tab +tetramax +delay_mode_zero ' \
+ DPV_FILE + ' ' + NETLIST_FILES + ' ' + LIB_FILES + ' ' + STILDPV_HOME + '/lib/libstildpv.a', shell=True, stderr=subprocess.STDOUT)
output_pattern = re.search('[x01]{' + str(len(pattern['test_si'])) + '}', str(output)).group(0)
print('output:' + output_pattern)
# 入力の制約付きのPINを求める
constraints_pin_dict = {}
pin_num = 0
for i_p, o_p in zip(input_pattern, output_pattern):
# if i_p == 'x' and o_p == 'x':
# if i_p == 'x' and o_p != 'x': 両方パス
# 制約でi_pをo_pの値にしてもいいがそれによって出力が変わる可能性があるのでpass
if i_p != 'x' and o_p == 'x':
constraints_pin_dict[pin_num] = i_p;
elif i_p != 'x' and o_p != 'x':
constraints_pin_dict[pin_num] = i_p;
pin_num += 1
pi_constraints = ''
for pin_num, pin_value in constraints_pin_dict.items():
pi_constraints += 'add_pi_constraints ' + pin_value + ' ppi_ps_reg[' + str(pin_num) + ']\n'
#print(pi_constraints)
# 故障の設定
# 問題点，最初の入力が優先されてしまうため，無限ループに陥る
pin_num = 0
fault_sentence = ''
for i_p, o_p in zip(input_pattern, output_pattern):
if i_p != 'x' and o_p == 'x':
if not pin_num in already_fault_stuck:
# stuck の 判定
if i_p == '1':
stuck = '0'
elif i_p == '0':
stuck = '1'
fault_sentence = 'add_faults ppo_ps_reg[' + str(len(input_pattern) - pin_num -1 ) + '] -stuck ' + stuck
already_fault_stuck.append(pin_num)
break
pin_num += 1
#fault_sentence = 'add_faults ppo_ps_reg[11] -stuck 1'
print('fault :' + fault_sentence)
# ループの終了
if len(fault_sentence) == 0 :
with open('../' + target + '.test_siaaa', 'a+') as f:
f.write(str(pattern_num) + ' ' + input_pattern + '\n')
print('pattern finish')
return input_pattern
break
# Test Pattern の 生成
settings = dict(nangate_db = '../../data/Nangate/nangate45nm.db',
nangate_v = '../../data/Nangate/nangate.v',
name = target,
clock = clock_judge(target),
vg = '../' + target + '_comb.vg',
stil = target + '_comb.stil',
pi_constraints = pi_constraints,
fault_sentence = fault_sentence
)
Synopsys.run(shell='tmax', script='../../template/GeneratePatternForCombination', context=settings)
# 生成されたテストパターンの取得
try:
next_input_pattern = SortMinTransition.extract_pattern_comb(target + '_comb.stil')[0]['pi']
except:
print('パターンが見つかりませんでした')
continue
next_input_pattern = list(next_input_pattern)
#next_input_pattern.reverse()
next_input_pattern = ''.join(next_input_pattern)
next_input_pattern = next_input_pattern[:len(pattern['test_si'])].replace('N', 'x')
print('testpi:' + next_input_pattern)
bit = 0
# このまま作成したテストパターンを次のテストパターンとしてもいいが，constraintsで指定したところがドントケア担っている可能性がある
# そのため，以下で入力と比較して，どんとケアを訂正する
next_input_pattern = list(next_input_pattern)
for n, p in zip(next_input_pattern, input_pattern):
if p != 'x' and n != p:
next_input_pattern[bit] = input_pattern[bit]
bit += 1
next_input_pattern = ''.join(next_input_pattern)
input_pattern = next_input_pattern[:]
print('result:' + input_pattern)