Chortle: a technology mapping program for lookup table-based field programmable gate arrays | IEEE Conference Publication | IEEE Xplore