A tutorial on logic synthesis for lookup-table based FPGAs | IEEE Conference Publication | IEEE Xplore