aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific/verificsva.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2018-03-31 13:31:01 +0200
committerGitHub <noreply@github.com>2018-03-31 13:31:01 +0200
commit7ea8833676d8b388a57be2d0c1c7a6b1e450226a (patch)
tree14569db0d55a8adfb3b47853f88395613b3a8222 /frontends/verific/verificsva.cc
parentdd5fab69c135135fa46b6325a39c184a2ddc6156 (diff)
parent14e49fb05737cfb02217b2aaf14d9f5d9e1859da (diff)
downloadyosys-7ea8833676d8b388a57be2d0c1c7a6b1e450226a.tar.gz
yosys-7ea8833676d8b388a57be2d0c1c7a6b1e450226a.tar.bz2
yosys-7ea8833676d8b388a57be2d0c1c7a6b1e450226a.zip
Merge pull request #521 from azonenberg/for_clifford
coolrunner2: Improve optimization for TFF/counters
Diffstat (limited to 'frontends/verific/verificsva.cc')
0 files changed, 0 insertions, 0 deletions