Kaiwen - July 21, 2014 - 14:48
The overall idea is that we want to compare two circuits inexactly. In otherwords how similar are two given circuits in terms of both structure and function. The high level goal is that this comparison will allow an automated system to suggest existing circuits for a hardware designer to reuse in attempt to increase design productivity. There are many papers out there that look into exact matching of circuits and extracting high level functionality from a netlist. However, very few want to look at inexact matching.