Suriya Srinivasan, Ranga Vemuri. Model Checking Leveraged Error Localization for Complex RTL Designs. In IEEE 40th International Conference on Computer Design, ICCD 2022, Olympic Valley, CA, USA, October 23-26, 2022. pages 585-592, IEEE, 2022. [doi]
@inproceedings{SrinivasanV22, title = {Model Checking Leveraged Error Localization for Complex RTL Designs}, author = {Suriya Srinivasan and Ranga Vemuri}, year = {2022}, doi = {10.1109/ICCD56317.2022.00092}, url = {https://doi.org/10.1109/ICCD56317.2022.00092}, researchr = {https://researchr.org/publication/SrinivasanV22}, cites = {0}, citedby = {0}, pages = {585-592}, booktitle = {IEEE 40th International Conference on Computer Design, ICCD 2022, Olympic Valley, CA, USA, October 23-26, 2022}, publisher = {IEEE}, isbn = {978-1-6654-6186-3}, }