def get_sdql_with_p(settings):
num = SortMinTransition.pattern_num(settings["stil"])
for i in range(num):
settings["last_p"] = i + 1
request_SDQL_with_p(settings)
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)
