mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-12-19 02:33:44 +00:00
Code Activity

Undo formatting

Browse source
This commit is contained in:
Gus Smith 2025-11-29 15:06:46 -08:00
parent 403740428c
commit 473edd19ed
1 changed files with 13 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

31
tests/functional/rkt_vcd.py
View file

@ -62,18 +62,15 @@ def simulate_rosette(
outputs: SignalWidthMap = {} outputs: SignalWidthMap = {}
current_struct_name: str = "" current_struct_name: str = ""
with open(rkt_file_path, "r") as rkt_file: with open(rkt_file_path, 'r') as rkt_file:
for line in rkt_file: for line in rkt_file:
m = re.search(r"gold_(Inputs|Outputs|State)", line) m = re.search(r'gold_(Inputs|Outputs|State)', line)
if m: if m:
current_struct_name = m.group(1) current_struct_name = m.group(1)
if current_struct_name == "State": if current_struct_name == "State": break
break elif not current_struct_name: continue # skip lines before structs
elif not current_struct_name: m = re.search(r'; (.+?)\b \(bitvector (\d+)\)', line)
continue # skip lines before structs if not m: continue # skip non matching lines (probably closing the struct)
m = re.search(r"; (.+?)\b \(bitvector (\d+)\)", line)
if not m:
continue # skip non matching lines (probably closing the struct)
signal = m.group(1) signal = m.group(1)
width = int(m.group(2)) width = int(m.group(2))
if current_struct_name == "Inputs": if current_struct_name == "Inputs":
@ -85,18 +82,16 @@ def simulate_rosette(
step_list: list[int] = [] step_list: list[int] = []
for step in range(num_steps): for step in range(num_steps):
value = rnd.getrandbits(width) value = rnd.getrandbits(width)
binary_string = format(value, "0{}b".format(width)) binary_string = format(value, '0{}b'.format(width))
step_list.append(binary_string) step_list.append(binary_string)
signals[signal] = step_list signals[signal] = step_list
test_rkt_file_path = rkt_file_path.with_suffix(".tst.rkt") test_rkt_file_path = rkt_file_path.with_suffix('.tst.rkt')
with open(test_rkt_file_path, "w") as test_rkt_file: with open(test_rkt_file_path, 'w') as test_rkt_file:
test_rkt_file.writelines( test_rkt_file.writelines([
[ '#lang rosette\n',
"#lang rosette\n", f'(require "{rkt_file_path.name}")\n',
f'(require "{rkt_file_path.name}")\n', ])
]
)
for step in range(num_steps): for step in range(num_steps):
this_step = f"step_{step}" this_step = f"step_{step}"