Functional Test Generation Using Efficient Property Clustering and Learning Techniques

Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for generating efficient tests. Several promising ideas using bounded model checking are proposed over the years to efficiently generate counterexamples (tests). The existing researchers have used incremental satisfiability to improve the counterexample generation, involving only one property by sharing knowledge across instances of the same property with incremental bounds. In this paper, we present a framework that can efficiently reduce the overall test generation time by exploiting the similarity among different properties. This paper makes two primary contributions: 1) it proposes novel methods to cluster similar properties; and 2) it develops efficient learning techniques that can significantly reduce the overall test generation time for the properties in a cluster by sharing knowledge across similar test ...

• Type: Journal
• Year: 2010
• Where: TCAD
• Authors: Mingsong Chen, Prabhat Mishra
• Keywords: Overall Test Generation, Software Engineering, TCAD 2010, Test Generation Instances, Test Generation Time