circuitsim (pypi): Run gate-level HDL simulations from python.
Keywords: boolean-circuits|eda|netlist|python|simulation