A technology-independent approach to programmable logic design | IEEE Conference Publication | IEEE Xplore