mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-11 00:13:33 +00:00
Code Activity

btor2aiger: Use ywa inits list

Browse source 
`btor2aiger` tool restarts latch indexing at 0 but aiw2yw expects index to be unique.  Offset latch input number by the total input count to fix this.
This commit is contained in:
Krystine Sherwin 2024-04-06 13:40:01 +13:00
parent b7bb1466d2
commit 143d03a66e
No known key found for this signature in database
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
tools/btor2aig_yw/btor2aig_yw.py
View file

@ -82,12 +82,14 @@ async def main() -> None:
pattern = r"(?P<type>[cil])(?P<input>\d+) (?P<path>.*?)(\[(?P<offset>\d+)\])?$"
m = re.match(pattern, string)
md = m.groupdict()
md['input'] = int(md['input'])
if md['type'] == 'i':
md['type'] = 'input'
elif md['type'] == 'c':
md['type'] = 'clk'
elif md['type'] == 'l':
md['type'] = 'latch'
md['input'] += ywa['input_count']
else:
raise ValueError(f"Unknown type identifier {md['type']!r}")
for k in ['input', 'offset']:
@ -109,7 +111,7 @@ async def main() -> None:
elif md_type == 'input':
ywa['inputs'].append(md)
elif md_type == 'latch':
ywa['latches'].append(md)
ywa['inits'].append(md)
# get next line
data = await proc.stdout.readline()