Pymtl 3 (Mamba) is an open-source Python-based hardware generation, simulation, and verification framework. WWW: https://github.com/pymtl/pymtl3