amaranth[builtin-yosys]