diff --git a/fuzzers/007-timing/projects/generate.sh b/fuzzers/007-timing/projects/generate.sh index 16f99e3f..a43fadcf 100644 --- a/fuzzers/007-timing/projects/generate.sh +++ b/fuzzers/007-timing/projects/generate.sh @@ -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 } diff --git a/fuzzers/007-timing/timfuz.py b/fuzzers/007-timing/timfuz.py index ba5822e7..d380e525 100644 --- a/fuzzers/007-timing/timfuz.py +++ b/fuzzers/007-timing/timfuz.py @@ -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):