Merge pull request #3193 from YosysHQ/micko/verific_f