activity
20232026
most citedSecurity Verification of Low-Trust Architectures

7 citations · 8 across the 7 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 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…