Combinational and sequential mapping with priority cuts | IEEE Conference Publication | IEEE Xplore