Merge pull request #437 from antmicro/017-add-S-prefix

fuzzers: 017: rename PRECYINIT_{0|1} -> PRECYINIT_{C0|C1}
This commit is contained in:
John Mcmaster 2019-01-04 01:08:52 +01:00 committed by GitHub
commit 4b8f3b0eb8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 9 additions and 6 deletions

View File

@ -1,3 +1,3 @@
00_12 30_14 30_13,CLB.SLICE_X0.PRECYINIT.0
01_11 31_13 31_12,CLB.SLICE_X1.PRECYINIT.0
00_12 30_14 30_13,CLB.SLICE_X0.PRECYINIT.C0
01_11 31_13 31_12,CLB.SLICE_X1.PRECYINIT.C0

View File

@ -9,17 +9,20 @@ f = open('params.csv', 'r')
f.readline()
for l in f:
module, loc, loc2 = l.split(',')
tmp = module.replace('clb_PRECYINIT_0', 'C0')
tmp = tmp.replace('clb_PRECYINIT_1', 'C1')
# clb_PRECYINIT_AX => AX
src = module.replace('clb_PRECYINIT_', '')
src = tmp.replace('clb_PRECYINIT_', '')
'''
PRECYINIT
00_12 30_14 30_13
1 0 1 0
C1 0 1 0
AX 1 0 0
CIN 0 0 1
0 0 0 0
C0 0 0 0
'''
srcs = ('0', '1', 'AX', 'CIN')
srcs = ('C0', 'C1', 'AX', 'CIN')
for asrc in srcs:
segmk.add_site_tag(loc, "PRECYINIT.%s" % asrc, int(src == asrc))