Simulation Data Mining for Functional Test Pattern Justification

In simulation-based functional verification, composing and debugging test benches can be tedious and time-consuming. A simulation-based data-mining approach (Wen et al., 2005) was proposed as an alternative for functional test pattern generation. However, the core of the approach is in solving Boolean learning, which is the problem of learning Boolean functions from bit-level simulation data. In this paper, an efficient data mining engine based on novel decision-diagram (DD) based learning approaches is presented. The authors compare the DD-based learning approaches to other known methods such as nearest neighbor and support vector machine. The authors show that the new Boolean data miner is efficient for practical use and the learned results can provide compact and accurately approximate representations of Boolean functions. Finally, the authors show that the proposed methodology incorporated with the current Boolean data miner can achieve high fault coverage (95.36%) on the OpenRISC 1200 microprocessor, demonstrating the effectiveness of our approach