A combinational logic mapper for Actel's SX/AX family | IEEE Conference Publication | IEEE Xplore