Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Simulation based validation approaches are still the primary workhorse for solving the verification problem of getting the initial HDL description correct, especially for large scaled designs. Hover, most of existing code coverage metrics do not address observability issue (Fallah et al., 2001). Therefore,  intend to provide additional observability measures to statement coverage metric for more proper and realistic evaluation of verification completeness for a HDL design. As compared to OCCOM (Fallah et al., 1998; Fallah et al., 2001; Devadas et al., 1996), our approach estimates a real probabilistic likelihood of propagating erroneous effects without any unreasonable assumptions and can always provide lor bound estimation.
['T. F. Jiang', 'Chien-Nan Jimmy Liu', 'Jing-Yang Jou']
I am writing a research paper on a idea An observability measure to enhance statement coverage metric for proper evaluation of verification completeness
[{"from": "human", "value": "I am writing a research paper on a idea An observability measure to enhance statement coverage metric for proper evaluation of verification completeness"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Simulation based validation approaches are still the primary workhorse for solving the verification problem of getting the initial HDL description correct, especially for large scaled designs. Hover, most of existing code coverage metrics do not address observability issue (Fallah et al., 2001). Therefore,  intend to provide additional observability measures to statement coverage metric for more proper and realistic evaluation of verification completeness for a HDL design. As compared to OCCOM (Fallah et al., 1998; Fallah et al., 2001; Devadas et al., 1996), our approach estimates a real probabilistic likelihood of propagating erroneous effects without any unreasonable assumptions and can always provide lor bound estimation."}]