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

Improve 051-intpips2 fuzzer 

Signed-off-by: Clifford Wolf <clifford@clifford.at>
Signed-off-by: Tim 'mithro' Ansell <mithro@mithis.com>
This commit is contained in:
Clifford Wolf 2017-11-18 05:12:39 +00:00 committed by Tim 'mithro' Ansell
parent afd01f1a57
commit b1431403d8
3 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
fuzzers/051-intpips2/Makefile
View File

@ -21,10 +21,12 @@ $(SPECIMENS_OK): todo.txt
touch $@
todo.txt:
: vivado -mode batch -source piplist.tcl
python3 maketodo.py | sort -R | head -n 50 > todo.txt
vivado -mode batch -source piplist.tcl
python3 maketodo.py > todo.txt
clean:
rm -rf .Xil/ filtered_seg_int_[lr].segbits
rm -rf todo.txt vivado* piplist/ piplist.dcp pattern_[lr].txt pips_int_[lr].txt
rm -rf specimen_[0-9][0-9][0-9]/ seg_int_[lr].segbits mask_clbl[lm]_[lr].segbits
.PHONY: database pushdb clean

4
fuzzers/051-intpips2/generate.tcl
View File

@ -1,4 +1,3 @@
if 0 {
create_project -force -part $::env(XRAY_PART) design design
read_verilog ../top.v
@ -20,7 +19,6 @@ place_design
route_design
write_checkpoint -force design.dcp
}
source ../../../utils/utils.tcl
@ -53,7 +51,7 @@ for {gets $fp line} {$line != ""} {gets $fp line} {
}
close $fp
for {set i 100} {$i < 120} {incr i} {
for {set i 100} {$i < 200} {incr i} {
set route_nodes {}
foreach line [randsample_list 5 $todo_lines] {
set line [split $line .]

4
fuzzers/051-intpips2/maketodo.py
View File

@ -15,7 +15,9 @@ def maketodo(pipfile, dbfile):
continue
if line.endswith(".GND_WIRE"):
continue
if ".CTRL" in line:
if re.match(r".*\.(L[HV]B?|G?CLK)(_L)?(_B)?[0-9]", line):
continue
if re.match(r"^INT_[LR]\.(CTRL|GFAN)(_L)?[0-9]", line):
continue
print(line)