PAIG Rewriting: The Way to Scalable Multifunctional Digital Circuits Synthesis | IEEE Conference Publication | IEEE Xplore