Compiling to the gate level for a reconfigurable co-processor | IEEE Conference Publication | IEEE Xplore