Veriloggen: A Mixed-Paradigm Hardware Construction Framework - PyHDI/veriloggen