amaranth[builtin-yosys]
pytest