Malik, Sharad

1. Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface
   2022/03/01 by Bo-Yuan Huang, Huang, Bo-Yuan, Steven Lyubomirsky +23 · 1 voice · 2 citations
   Computer Science · #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Programming Languages (cs.PL) #cs.AR #cs.PL
2. RTL Verification for Secure Speculation Using Contract Shadow Logic
   2024/07/17 by Tan, Qinhan, Yang, Yuheng, Bourgeat, Thomas +2 · 7 citations
   #FOS: Computer and information sciences #Hardware Architecture (cs.AR)
3. FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols
   2025/04/24 by Yu-An Shih, Shih, Yu-An, Lin, Annie +4 · 2 citations
   Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Hardware Architecture (cs.AR) #Petri Nets in System Modeling #Software Engineering (cs.SE)