Programmable logic design tools