SuperSAGA: A Supervisor-Subordinate Agentic workflow for the Generation of Assertions.

Subhajit Paul, Ansuman Banerjee, Sumana Ghosh, Sudhakar Surendran, Raj Kumar Gajavelly

Browse the full ASPDAC paper archive.