7 citations · 8 across the 6 of their papers we have counts for
Showing cs.ARShow all
2 papers · 1 filter
cs.AR2025
FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols
Yu-An Shih, Annie Lin, Aarti Gupta +1
Formal specifications of on-chip communication protocols are crucial for system-on-chip (SoC) design and verification. However, manually constructing these formal specifications fr…
cs.AR2024★ 1 cited
RTL Verification for Secure Speculation Using Contract Shadow Logic
Qinhan Tan, Yuheng Yang, Thomas Bourgeat +2
Modern out-of-order processors face speculative execution attacks. Despite various proposed software and hardware mitigations to prevent such attacks, new attacks keep arising from…