> the goal here is to create an abstraction for interfacing with the different tools from different EDA vendors I gathered as much. Again, the EDA-space is lar

> the goal here is to create an abstraction for interfacing with the different tools from different EDA vendors I gathered as much. Again, the EDA-space is large. PyEDA was interfacing to severals SAT-Solvers, BDD-Libraries (even rolling their own if you didn't want dependencies), and logic minimizers. This abstraction Layer here seems to mainly wrap EDA-tooling around HDL and therefore (I guess, since I am not a hardware guy) hardware verification tools. I would guess that those are basically the two ends of the EDA-spectrum, going from the very abstract of some First Order Boolean Formula Satisfiability problem to Actual Hardware Verification.