de1_cntupen_1sec_pins.tcl 600 Bytes