Merge pull request #1624 from YosysHQ/eddie/abc9_leak