EquivSVA: A Formally Verified Dataset of Behavioral Assertions Across Equivalent RTL Implementations
EquivSVA provides 120 verified RTL behavior families to test whether LLM assertions capture observable behavior.
1 stories, newest first · one card per story
EquivSVA provides 120 verified RTL behavior families to test whether LLM assertions capture observable behavior.
Today 1.6K readers · 2.5K views · 779 reads · all time 189K views