Author:
Vasudevan Shobha,Liu Lingyi,Hertz Samuel
Publisher
Springer International Publishing
Reference68 articles.
1. ActiveProp assertion-based verification system, http://www.jasper-da.com/products/activeprop-assertion-based-verification-system
2. V. Athavale, S. Ma, S. Hertz, S. Vasudevan, Code coverage of assertions using RTL source code analysis, in The 51st Annual Design Automation Conference 2014, DAC ‘14, San Francisco, CA, June 1–5, 2014 (2014), pp. 61:1–61:6
3. R. Agrawal, T. Imielinski, A. Swami, Mining association rules between sets of items in large databases, in Proceedings of SIGMOD (1993), pp. 207–216
4. G. Ammons, R. Bodk, J.R. Larus, Mining specifications, in POPL (2002), pp. 4–16
5. Assertion synthesis, http://www.atrenta.com/about-assertion_based-verification.htm5
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献