@inproceedings{4606a0b78721460d9ccc846ac250be62,
title = "Synchronized generation of directed tests using satisfiability solving",
abstract = "Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generation which can be used in directed testing. Existing research has explored two directions to accelerate the SAT solving process: learning during solving of one property with different bounds, or solving multiple properties with known bounds. This paper combines the advantages of both approaches by introducing a novel SAT-solving technique which exploits the similarities among SAT instances for multiple properties and bounds on the same design. The proposed technique ensures that the knowledge obtained in previous solving iterations be shared across different bounds as well as between different properties. Our experimental results demonstrate that our approach can significantly reduce overall test generation time (on average 10 times) compared to existing methods.",
author = "Xiaoke Qin and Mingsong Chen and Prabhat Mishra",
year = "2010",
doi = "10.1109/VLSI.Design.2010.47",
language = "英语",
isbn = "9780769539287",
series = "Proceedings of the IEEE International Conference on VLSI Design",
publisher = "IEEE Computer Society",
pages = "251--256",
booktitle = "VLSi Design 2010 - 23rd International Conference on VLSI Design, Held jointly with 9th International Conference on Embedded Systems",
address = "美国",
note = "23rd International Conference on VLSI Design, Held jointly with 9th International Conference on Embedded Systems, VLSi Design 2010 ; Conference date: 03-01-2010 Through 07-01-2010",
}