Merge pull request #724 from whitequark/equiv_opt
authorClifford Wolf <clifford@clifford.at>
Sun, 16 Dec 2018 14:54:26 +0000 (15:54 +0100)
committerGitHub <noreply@github.com>
Sun, 16 Dec 2018 14:54:26 +0000 (15:54 +0100)
commit2a681909dff173f63659d7c882137e53ad768ce8
treeb0e51b09eb3ce4f1ad3e071b25bae4f43619f55e
parenta2154c1be0842541d04e2d9e0ebac9ccb3b472be
parent7ff5a9db2d17c384260c2220c9205a7b4891f001
Merge pull request #724 from whitequark/equiv_opt

equiv_opt: new command, for verifying optimization passes
techlibs/ice40/cells_sim.v