/pnr/de1_cntdn/
../
de1_cntdn_pins.tcl
makefile