yowasp-yosys
wavedrom
z3-solver
pyDigitalWaveTools
parse
