1. Pre-Silicon Verification and Post-Silicon Validation Methodologies;Synthesis Lectures on Digital Circuits & Systems;2024
2. Domain Isolation and Access Control in Multi-tenant Cloud FPGAs;Security of FPGA-Accelerated Cloud Computing Environments;2023-09-18
3. Malware Identification in Advanced Interconnects on SOC;2022 International Virtual Conference on Power Engineering Computing and Control: Developments in Electric Vehicles and Energy Sector for Sustainable Future (PECCON);2022-05-05
4. A Survey on Assertion-based Hardware Verification;ACM Computing Surveys;2022-01-31
5. Vacuity in practice: temporal antecedent failure;Formal Methods in System Design;2015-01-29