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

timfuz stats: site wires report solved in addition to covered 

Signed-off-by: John McMaster <johndmcmaster@gmail.com>
This commit is contained in:
John McMaster 2018-10-03 16:48:54 -07:00
parent 8d5a1611d3
commit 0a7c68b5a0
1 changed files with 10 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -803,11 +803,15 @@ def tilej_stats(tilej):
return stats return stats
def site_stats(): def site_stats():
sitej = tilej['sites'] sitesj = tilej['sites']
return { ret = {
'wires': sum([len(v) for v in sitej.values()]), 'sites': len(sitesj),
'sites': len(sitej) 'wires': sum([len(wiresj) for wiresj in sitesj.values()]),
'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()])
return ret
tstats = tile_stats() tstats = tile_stats()
sstats = site_stats() sstats = site_stats()
@ -822,8 +826,8 @@ def tilej_stats(tilej):
' %s: %u / %u solved, %u / %u covered' % ' %s: %u / %u solved, %u / %u covered' %
(etype, solved, net, covered, net)) (etype, solved, net, covered, net))
print( print(
' sites: %u sites, %u site wires' % ' sites: %u sites w/ %u solved / %u covered site wires' %
(sstats['sites'], sstats['wires'])) (sstats['sites'], sstats['wires_solved'][corneri], sstats['wires']))
def load_bounds(bounds_csv, corner): def load_bounds(bounds_csv, corner):