System-Level Validation by Mingsong Chen Xiaoke Qin Heon-Mo Koo & Prabhat Mishra

Author:Mingsong Chen, Xiaoke Qin, Heon-Mo Koo & Prabhat Mishra
Language: eng
Format: epub
Publisher: Springer New York, New York, NY

Once one of the above methods finds a satisfying assignment, the remaining two processes will be terminated. Therefore, it can be guaranteed that the worst case of the test generation time is the same as directly solving the original SAT instance.

6.4.2 Test Generation for Similar Properties

For similar properties, there exists a large overlap between corresponding counterexamples. Therefore the satisfying assignments of checked properties can be used as a learning for other properties in the cluster. Some of the derived conflict clauses can also be forwarded as learning. This section will discuss how to extract the bit-value ordering and variable ordering based learnings from the checked properties in detail. Also, we will describe an algorithm to utilize the learning based on decision ordering for test generation of a cluster of similar properties.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.