LLM-Assisted Analysis of On-Chip Protocol Implementations.

Melisande Zonta-Roudes, Nora Hinderling, Supraja Sridhara, Srinidhi Nagendra, Shweta Shinde

Browse the full FCCM paper archive.