Github_Repos/cvw
1
0
Fork 1
mirror of https://github.com/openhwgroup/cvw synced 2025-02-11 06:05:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

don't log rf[0] to checkpoint

Browse Source
This commit is contained in:
bbracker 2021-10-07 00:58:33 -04:00
parent 1a1c4f28f4
commit a9052cb455
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
wally-pipelined/linux-testgen/testvector-generation/parseState.py
View File

@ -47,7 +47,7 @@ for csr in listCSRs:
# Initial State for Main Loop # Initial State for Main Loop
currState = 'regFile' currState = 'regFile'
regFileIndex = 0 regFileIndex = 0
outFileName = 'checkpoint-regfile.txt' outFileName = 'checkpoint-RF'
outFile = open(outDir+outFileName, 'w') outFile = open(outDir+outFileName, 'w')
# Main Loop # Main Loop
@ -60,7 +60,9 @@ with open(stateGDBpath, 'r') as stateGDB:
if (regFileIndex == 0 and name != 'zero'): if (regFileIndex == 0 and name != 'zero'):
print('Whoops! Expected regFile registers to come first, starting with zero') print('Whoops! Expected regFile registers to come first, starting with zero')
exit(1) exit(1)
outFile.write(val+'\n') if (name != 'zero'):
# Wally doesn't need to know zero=0
outFile.write(val+'\n')
regFileIndex += 1 regFileIndex += 1
if (regFileIndex == 32): if (regFileIndex == 32):
outFile.close() outFile.close()