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

Karthik Maddala

  1. LAAG-RV: LLM Assisted Assertion Generation for RTL Design Verification
    2024/08/13 by Karthik Maddala, Maddala, Karthik, Bhabesh Mali +3 · 6 citations
    Computer Science · Engineering · #Embedded Systems Design Techniques #Emerging Technologies (cs.ET) #Engineering Applied Research #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Real-time simulation and control systems