vix.ing · top · new · best · stats · spec

Lin, Annie

  1. 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, Aarti Gupta +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)