symbiyosys
An agent that reads a spec and RTL, proposes formal properties, runs a model checker, and iterates on counterexamples — automating the hardware verification engineer's loop.
