Poster · Sydney
Veri-Sure: Multi-Agent RTL Code Generation with Temporal Tracing, Slicing and Formal Verification
- When
- Wed 9 Dec 2026, 17:00–20:00 AEDT
- Where
- Hall 1-4, ICC Sydney
Exhibition Centre, Level 1 - Session
- Sydney Poster Session 4
- Authors
- Jiale Liu, Taiyu Zhou, Tianqi Jiang
- Organisations
- University of Edinburgh, University of Macau, The Chinese University of Hong Kong, Shenzhen
- QRS classification
- Agentic AI, Language models