Automatic generation of assertions from system level design using data mining

• Published in: 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign pp. 191 - 200
• Main Authors: Lingyi Liu, Sheridan, D., Athavale, V., Vasudevan, S.
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01.07.2011
• Subjects: Algorithm design and analysis; Concrete; Data mining; Data models; Decision trees; System-level design
• ISBN: 9781457701177; 1457701170
• DOI: 10.1109/MEMCOD.2011.5970526

System level modeling is widely employed at early stages of system development for simplifying design verification and architectural exploration. Assertion based verification has become a well established part of RTL verification methodology. In the traditional assertion based verification flow, assertions are manually written. In this paper, we generate assertions from system level designs using GoldMine, an automatic assertion generation engine that uses data mining and static analysis. Candidate assertions are mined in the form of frequent patterns in the simulation traces of the system level designs. We consider both cycle accurate and transaction level designs and develop a methodology for the mining of each. For cycle accurate designs, we use both a decision tree based supervised learning algorithms as well as a coverage guided association mining algorithm to search for correlations in the simulation trace. For transaction level designs, sequential pattern mining is applied to generate frequent sequences of function calls and events from traces. We also use a symbolic execution engine to generalize the parameters and return values of the functions to help the data miner find relevant behavior. We show that our technique generates meaningful assertions on both a cycle accurate RISC CPU design and a transaction level AMBA-based DMA controller.