de1_seq_pins.tcl 860 Bytes