| A survey on assertion-based hardware verification H Witharana, Y Lyu, S Charles, P Mishra ACM Computing Surveys (CSUR) 54 (11s), 1-33, 2022 | 22 | 2022 |
| Domain specific intent classification of sinhala speech data D Buddhika, R Liyadipita, S Nadeeshan, H Witharana, S Javasena, ... 2018 International Conference on Asian Language Processing (IALP), 197-202, 2018 | 18 | 2018 |
| Directed test generation for activation of security assertions in rtl models H Witharana, Y Lyu, P Mishra ACM Transactions on Design Automation of Electronic Systems (TODAES) 26 (4 …, 2021 | 17 | 2021 |
| Speculative load forwarding attack on modern processors H Witharana, P Mishra Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided …, 2022 | 10 | 2022 |
| Voicer: A crowd sourcing tool for speech data collection D Buddhika, R Liyadipita, S Nadeeshan, H Witharana, S Jayasena, ... 2018 18th International Conference on Advances in ICT for Emerging Regions …, 2018 | 9 | 2018 |
| Automated generation of security assertions for RTL models H Witharana, A Jayasena, A Whigham, P Mishra ACM Journal on Emerging Technologies in Computing Systems 19 (1), 1-27, 2023 | 8 | 2023 |
| Network-on-Chip Trust Validation using Security Assertions A Jayasena, B Kumar, S Charles, H Witharana, P Mishra Journal of Hardware and Systems Security 6 (3), 79-94, 2022 | 2 | 2022 |
| quAssert: Automatic Generation of Quantum Assertions H Witharana, D Volya, P Mishra arXiv preprint arXiv:2303.01487, 2023 | 1 | 2023 |
| QcAssert: Quantum Device Testing with Concurrent Assertions H Witharana, D Volya, P Mishra 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC), 491-496, 2024 | | 2024 |
| Incremental Concolic Testing of Register-Transfer Level Designs H Witharana, A Jayasena, P Mishra ACM Transactions on Design Automation of Electronic Systems, 2024 | | 2024 |
| Dynamic Refinement of Hardware Assertion Checkers H Witharana, S Sanjaya, P Mishra 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2023 | | 2023 |
| Sequence-Based Incremental Concolic Testing of RTL Models H Witharana, A Jayasena, P Mishra arXiv preprint arXiv:2302.12241, 2023 | | 2023 |
Prabhat MishraProfessor, Univ. of Florida, IEEE Fellow, AAAS Fellow, ACM Distinguished MemberVerified email at ufl.edu
