namespace Yosys