Merge pull request #1412 from YosysHQ/eddie/equiv_opt_async2sync
authorClifford Wolf <clifford@clifford.at>
Mon, 30 Sep 2019 15:04:21 +0000 (17:04 +0200)
committerGitHub <noreply@github.com>
Mon, 30 Sep 2019 15:04:21 +0000 (17:04 +0200)
commit0d28e45dcb0b938eff951e7f747af5095ab65de5
treedce3e23f1dae3b2e31ea1729148c8ee82d88c703
parentdd67e8ce735bc9f15a8783f4c2e5c131fe4fe559
parenta39505e329cc05dbd4ad624a1cf0f6caf664fd9a
Merge pull request #1412 from YosysHQ/eddie/equiv_opt_async2sync

equiv_opt to call async2sync when not -multiclock like SymbiYosys