/pyGHDL/libghdl/utils/