Author:
Ghasempouri Tara,Payandeh Azad Siavoosh,Niazmand Behrad,Raik Jaan
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An automated method for mining high-quality assertion sets;Microprocessors and Microsystems;2023-03
2. IMMizer: An Innovative Cost-Effective Method for Minimizing Assertion Sets;2022 25th Euromicro Conference on Digital System Design (DSD);2022-08
3. A Methodology for Automated Mining of Compact and Accurate Assertion Sets;2021 IEEE Nordic Circuits and Systems Conference (NorCAS);2021-10-26
4. Engineering of an Effective Automatic Dynamic Assertion Mining Platform;2019 IFIP/IEEE 27th International Conference on Very Large Scale Integration (VLSI-SoC);2019-10