Xprotocols-lab

Research on correctness and security of on-chip communication protocols.

Assertion-guided patching of on-chip protocol implementations using LLMs