Skip to content
STIMSMITH

functional equivalence checking

Technique
First seen 9/3/2026
Last seen 9/3/2026
Evidence 1 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

2 connections
GRPO with State Mutations: Improving LLM-Based Hardware Test Plan Generation ← uses 100% 1e
The paper uses functional equivalence checking to validate mutations.
tree-based branching mutation strategy ← uses 100% 1e
The tree-based mutation strategy uses functional equivalence checking to validate generated variants.