00

functional equivalence checking

Technique ☆ WATCH ⎘ SHARE

First seen 9/3/2026

Last seen 9/3/2026

Evidence 1 chunks

01

NEIGHBORHOOD

3 nodes · 3 edges

graph · functional equivalence checking · depth=1

02

RELATIONSHIPS

2 connections

GRPO with State Mutations: Improving LLM-Based Hardware Test Plan Generation ← uses 100% 1e evidence

The paper uses functional equivalence checking to validate mutations.

tree-based branching mutation strategy ← uses 100% 1e evidence

The tree-based mutation strategy uses functional equivalence checking to validate generated variants.