yowasp-yosys
wavedrom
z3
pyDigitalWaveTools
parse
