/pnr/de1_binto7segment/

• ../
• de1_binto7segment_pins.tcl
• makefile