Hasini Witharana, Yangdi Lyu, Prabhat Mishra 0001. Directed Test Generation for Activation of Security Assertions in RTL Models. ACM Trans. Design Autom. Electr. Syst., 26(4), 2021. [doi]
@article{WitharanaLM21, title = {Directed Test Generation for Activation of Security Assertions in RTL Models}, author = {Hasini Witharana and Yangdi Lyu and Prabhat Mishra 0001}, year = {2021}, doi = {10.1145/3441297}, url = {https://doi.org/10.1145/3441297}, researchr = {https://researchr.org/publication/WitharanaLM21}, cites = {0}, citedby = {0}, journal = {ACM Trans. Design Autom. Electr. Syst.}, volume = {26}, number = {4}, }