Model-based hardware design based on compatible sets of isomorphic subgraphs | IEEE Conference Publication | IEEE Xplore