de1_majority_pins.tcl 2.41 KB