Graph Matching Constraints for Synthesis with Complex Components | IEEE Conference Publication | IEEE Xplore