Circuit comparison by hierarchical pattern matching | IEEE Conference Publication | IEEE Xplore