Scalable specification mining for verification and diagnosis

  title={Scalable specification mining for verification and diagnosis},
  author={Wenchao Li and Alessandro Forin and Sanjit A. Seshia},
  journal={Design Automation Conference},
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. In this paper, we present a new technique for mining temporal specifications from simulation or execution traces of a digital hardware design. Given an execution trace, we mine recurring temporal behaviors in the trace that match a set of pattern templates. Subsequently, we synthesize them into complex patterns by… CONTINUE READING
Highly Cited
This paper has 88 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 66 extracted citations

88 Citations

Citations per Year
Semantic Scholar estimates that this publication has 88 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-8 of 8 references

Flow control and micro-architectural mechanisms for extending the performance of interconnection networks

  • L.-S. Peh
  • PhD thesis
  • 2001
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…