mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-24 21:27:00 +00:00
Code Activity

Merge pull request #4215 from povik/xprop-race

Browse source 
Address race in `xprop` tests
This commit is contained in:
N. Engelhardt 2024-02-19 16:16:16 +01:00 • committed by GitHub
commit edd154e3cd
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
tests/xprop/test.py
View file

@ -270,8 +270,9 @@ if "prepare" in steps:
print("initial begin", file=tb_file)
for pattern in patterns:
# A[0] might be the clock which requires special sequencing
print(
f' gclk = 1; #0; A[0] = 1\'b{pattern[-1]}; #0; A = {input_width}\'b{pattern}; #5; gclk = 0; $display("%b %b", A, Y); #5',
f' #0; gclk = 1; #0; A[0] = 1\'b{pattern[-1]}; #0; A = {input_width}\'b{pattern}; #5; gclk = 0; $display("%b %b", A, Y); #5',
file=tb_file,
)