Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Demand for scalable hardware verification is ever-increasing.  propose an unbounded safety verification framework for hardware, at the heart of which is a software verifier. To this end,  synthesize Verilog at register transfer level into a software-netlist, represented as a word-level ANSI-C program. The proposed tool flow allows us to leverage the precision and scalability of state-of-the-art software verification techniques. In particular,  evaluate unbounded proof techniques, such as predicate abstraction, k-induction, interpolation, and IC3/PDR; and  compare the performance of verification tools from the hardware and software domains that use these techniques. To the best of our knowledge, this is the first attempt to perform unbounded verification of hardware using software analyzers.
['Rajdeep Mukherjee', 'Peter Schrammel', 'Daniel Kroening', 'Tom Melham']
I am writing a research paper on a idea Unbounded safety verification for hardware using software analyzers
[{"from": "human", "value": "I am writing a research paper on a idea Unbounded safety verification for hardware using software analyzers"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Demand for scalable hardware verification is ever-increasing.  propose an unbounded safety verification framework for hardware, at the heart of which is a software verifier. To this end,  synthesize Verilog at register transfer level into a software-netlist, represented as a word-level ANSI-C program. The proposed tool flow allows us to leverage the precision and scalability of state-of-the-art software verification techniques. In particular,  evaluate unbounded proof techniques, such as predicate abstraction, k-induction, interpolation, and IC3/PDR; and  compare the performance of verification tools from the hardware and software domains that use these techniques. To the best of our knowledge, this is the first attempt to perform unbounded verification of hardware using software analyzers."}]