luke
/
prjxray
mirror of https://github.com/openXC7/prjxray.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

timfuz: delete timing4.txt after processing to save disk space 

Signed-off-by: John McMaster <johndmcmaster@gmail.com>
This commit is contained in:
John McMaster 2018-10-03 17:40:40 -07:00
parent 85862394ce
commit fd5bfceb7a
2 changed files with 15 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
fuzzers/007-timing/projects/generate.sh
View File

@ -9,5 +9,8 @@ timing_txt2csv () {
python3 $TIMFUZ_DIR/timing_txt2scsv.py --speed-json $TIMFUZ_DIR/speed/build/speed.json --out timing4s.csv.tmp timing4.txt
mv timing4s.csv.tmp timing4s.csv
# delete really large file, see https://github.com/SymbiFlow/prjxray/issues/137
rm timing4.txt
}

15
fuzzers/007-timing/timfuz.py
View File

@ -810,7 +810,15 @@ def tilej_stats(tilej):
'wires_solved': {},
}
for corneri in corner_s2i.values():
ret['wires_solved'][corneri] = sum([sum([1 if site_wire[corneri] else 0 for site_wire in sitej.values()]) for sitej in sitesj.values()])
ret['wires_solved'][corneri] = sum(
[
sum(
[
1 if site_wire[corneri] else 0
for site_wire in sitej.values()
])
for sitej in sitesj.values()
])
return ret
tstats = tile_stats()
@ -826,8 +834,9 @@ def tilej_stats(tilej):
' %s: %u / %u solved, %u / %u covered' %
(etype, solved, net, covered, net))
print(
' sites: %u sites w/ %u solved / %u covered site wires' %
(sstats['sites'], sstats['wires_solved'][corneri], sstats['wires']))
' sites: %u sites w/ %u solved / %u covered site wires' % (
sstats['sites'], sstats['wires_solved'][corneri],
sstats['wires']))
def load_bounds(bounds_csv, corner):