Tagged electronic-design-automation