Merge pull request #2101 from YosysHQ/mmicko/verific_asymmetric
authorclairexen <claire@symbioticeda.com>
Tue, 2 Jun 2020 15:12:02 +0000 (17:12 +0200)
committerGitHub <noreply@github.com>
Tue, 2 Jun 2020 15:12:02 +0000 (17:12 +0200)
commit2ed045738b1876f6439afd7f44c73100d7c96e99
tree918943843549fca65476e602fe4a0ec43727248d
parentff785cdb46d6b1ddc19d5acc21b4d1236b3adf3f
parent71072d1945b76107a4adc84f6666d100beca6ced
Merge pull request #2101 from YosysHQ/mmicko/verific_asymmetric

Support asymmetric memories for verific frontend