I'm not a yosys developer to be clear, so I have no say what they license their software as. But indeed someone taken an open source software with a good community and re-branding it as their own while adding a thinly veiled lick of paint without even attempting to work together with upstream indeed leaves a bad taste in my mouth. On the other hand licensing software as GPL also leaves a bad taste in my mouth.