Engineering a scalable Boolean matching based on EDA SaaS 2.0 | IEEE Conference Publication | IEEE Xplore