Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: In the past, hardware design validation has relied primarily on simulation. New techniques such as model checking have been introduced but no objective study investigating the advantages such techniques provide over simulation has been made. Simulation is model checking over a trace elicited by executing a test vector; model checking can be vied as exhaustive simulation. Each has its own set of advantages and limitations. A platform, "Sherlock", was available wherein one could use properties or specifications expressed as CTL-like formulae interchangeably for checking simulation runs or for model checking.   describe and present results from an experimental study undertaken on a real implementation to better understand the efficacies of the two methods.  also present improved methods for accommodating liveness, fairness (of arbitration) and existence conditions in simulation and outline some techniques for writing implementation-independent properties for model checking.
['Nina Saxena', 'Jason R. Baumgartner', 'Avijit Saha', 'Jacob A. Abraham']
I am writing a research paper on a idea To model check or not to model check
[{"from": "human", "value": "I am writing a research paper on a idea To model check or not to model check"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: In the past, hardware design validation has relied primarily on simulation. New techniques such as model checking have been introduced but no objective study investigating the advantages such techniques provide over simulation has been made. Simulation is model checking over a trace elicited by executing a test vector; model checking can be vied as exhaustive simulation. Each has its own set of advantages and limitations. A platform, \"Sherlock\", was available wherein one could use properties or specifications expressed as CTL-like formulae interchangeably for checking simulation runs or for model checking.   describe and present results from an experimental study undertaken on a real implementation to better understand the efficacies of the two methods.  also present improved methods for accommodating liveness, fairness (of arbitration) and existence conditions in simulation and outline some techniques for writing implementation-independent properties for model checking."}]