SymbFuzz
Coverage-directed RTL fuzzer that combines random simulation with bounded model checking to reach hard-to-hit register states and coverage bins, then replays witness traces against a simulator.
Coverage-directed RTL fuzzer that combines random simulation with bounded model checking to reach hard-to-hit register states and coverage bins, then replays witness traces against a simulator.