SynaSpace: Behavior-Driven Configuration Optimization of Test Generators for Logic Synthesis Testing
SynaSpace is a behavior-driven configuration optimization framework for fault detection in logic synthesis tools that focuses on synthesis behavior coverage to guide configuration search, by constructing behavioral representations through joint analysis of synthesis logs and gate-level netlists.