Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  have developed a filter-based framework where several fundamentally different techniques can be combined to provide fully automated and efficient heuristic solutions to verification and possibly other NP-complete problems. Such an integrated methodology is far more robust and efficient than any single existing technique on a wide variety of circuits. Our methodology has been applied to verify the ISCAS 85 benchmark circuits and efficient verification results have been presented on a large set of industrial circuits which could not be verified using several published techniques and commercial verification tools available to us.
['Rajarshi Mukherjee', 'Jawahar Jain', 'Koichiro Takayama', 'Masahiro Fujita', 'Jacob A. Abraham', 'Donald S. Fussell']
I am writing a research paper on a idea An efficient filter-based approach for combinational verification
[{"from": "human", "value": "I am writing a research paper on a idea An efficient filter-based approach for combinational verification"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  have developed a filter-based framework where several fundamentally different techniques can be combined to provide fully automated and efficient heuristic solutions to verification and possibly other NP-complete problems. Such an integrated methodology is far more robust and efficient than any single existing technique on a wide variety of circuits. Our methodology has been applied to verify the ISCAS 85 benchmark circuits and efficient verification results have been presented on a large set of industrial circuits which could not be verified using several published techniques and commercial verification tools available to us."}]