Author:
Danese Alessandro,Filini Francesca,Ghasempouri Tara,Pravadelli Graziano
Publisher
Springer International Publishing
Reference34 articles.
1. Gupta, A.: Assertion-based verification turns the corner. IEEE Des. Test Comput. 19(4), 131–132 (2002)
2. Lecture Notes in Computer Science;A Pnueli,1985
3. Standard for property specification language (PSL), IEC 62531: 2012(E) (IEEE Std 1850–2010), pp. 1–184 (2012)
4. Ammons, G., Bodík, R., Larus, J.R.: Mining specifications. ACM Sigplan Not. 37(1), 4–16 (2002)
5. Hertz, S., Sheridan, D., Vasudevan, S.: Mining hardware assertions with guidance from static analysis. IEEE Trans. Comp. Aided Des. Integr. Cir. Syst. 32(6), 952–965 (2013)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. HARM: A Hint-Based Assertion Miner;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2022-11
2. Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions;2022 IFIP/IEEE 30th International Conference on Very Large Scale Integration (VLSI-SoC);2022-10-03
3. IMMizer: An Innovative Cost-Effective Method for Minimizing Assertion Sets;2022 25th Euromicro Conference on Digital System Design (DSD);2022-08
4. A-TEAM;Proceedings of the 54th Annual Design Automation Conference 2017;2017-06-18