FROSTY Paper:

Lei Yang, C.-J. Richard Shi, "FROSTY: A Fast Hierarchy Extractor for Industrial CMOS Circuits";, ICCAD, Nov, 2003. (Download)

Reference Papers:

M. Ohlrich, C. Ebeling and E. Ginting, "SubGemini: Identifying subcircuits using a fast subgraph isomorphism algorithm", Proc. IEEE/ACM Design Automation Conference, pp. 31-37, 1993. (Download)

Carl Ebeling, "Gemini II: A Second Generation Layout Validation Program", IEEE/ACM Int. Conf. on Computer-Aided Design, 1988. (Download)

N. Rubanov, "SubIslands: The probabilistic match assignment algorithm for subcircuit recognition", IEEE Transactions on CAD of Integrated Circuits and Systems, vol. 22, pp. 26-38, Jan. 2003.

Useful Links:

Professor Carl, Ebeling's research page about Gemini and SubGemini.

Sara's research page about Graph Matching and Comparison.