A Rewriting Algorithm to Generate AROM-free Fully Synchronous Circuits | IEEE Conference Publication | IEEE Xplore