edalize
An abstraction library for interfacing EDA tools
Pono
An SMT-based model checker built on smt-switch.
SymbiYosys (sby)
Front-end driver program for Yosys-based formal hardware verification flows
