Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Static property checking verifies pre-defined functional design rules such as "bus contention", "racing condition"; and "don't-care case". A static property checker typically uses formal verification techniques to prove the property under verification. If the property is proven false, a counter-example is generated for debugging the design. Among the different static property checking approaches, ATPG-based and BDD-based are the most porful and successful ones.  implement both approaches with several optimization techniques on the same framework to compare their performance. The experimental results on industrial designs show that these two approaches have different strength and akness in proving the static properties. Furthermore, the results indicate that they often complement each other and therefore a hybrid approach may result in better performance.  propose a static property checker based on combined ATPG and BDD techniques. The experimental results show that this combined approach can prove all the static properties in the test cases while still maintaining comparable performance.
['Chung-Yang (Ric) Huang', 'Bwolen Yang', 'Huan-Chih Tsai', 'Kwang-Ting Cheng']
I am writing a research paper on a idea Static property checking using ATPG vs. I am writing a research paper on a idea BDD techniques
[{"from": "human", "value": "I am writing a research paper on a idea Static property checking using ATPG vs. I am writing a research paper on a idea BDD techniques"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Static property checking verifies pre-defined functional design rules such as \"bus contention\", \"racing condition\"; and \"don't-care case\". A static property checker typically uses formal verification techniques to prove the property under verification. If the property is proven false, a counter-example is generated for debugging the design. Among the different static property checking approaches, ATPG-based and BDD-based are the most porful and successful ones.  implement both approaches with several optimization techniques on the same framework to compare their performance. The experimental results on industrial designs show that these two approaches have different strength and akness in proving the static properties. Furthermore, the results indicate that they often complement each other and therefore a hybrid approach may result in better performance.  propose a static property checker based on combined ATPG and BDD techniques. The experimental results show that this combined approach can prove all the static properties in the test cases while still maintaining comparable performance."}]