diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-07-15 20:06:35 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-15 20:06:35 +0200 |
commit | 2a7198db516800720e6e63d5676b68b8add81a5c (patch) | |
tree | ddadcb239ac0ad1dbb8c74ad9165660c477b10d5 | |
parent | 2c5c53e4c1b4d40a3cf19136e3e87bb4f608d7a1 (diff) | |
parent | ab3917d0791874bab845ca74203c5aaa2ec842d2 (diff) | |
download | yosys-2a7198db516800720e6e63d5676b68b8add81a5c.tar.gz yosys-2a7198db516800720e6e63d5676b68b8add81a5c.tar.bz2 yosys-2a7198db516800720e6e63d5676b68b8add81a5c.zip |
Merge pull request #1189 from YosysHQ/eddie/fix1151
Error out if enable > dbits in memory_bram file
-rw-r--r-- | passes/memory/memory_bram.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/passes/memory/memory_bram.cc b/passes/memory/memory_bram.cc index ddc56d9b5..aa8f94149 100644 --- a/passes/memory/memory_bram.cc +++ b/passes/memory/memory_bram.cc @@ -68,6 +68,10 @@ struct rules_t if (groups != GetSize(transp)) log_error("Bram %s variant %d has %d groups but only %d entries in 'transp'.\n", log_id(name), variant, groups, GetSize(transp)); if (groups != GetSize(clocks)) log_error("Bram %s variant %d has %d groups but only %d entries in 'clocks'.\n", log_id(name), variant, groups, GetSize(clocks)); if (groups != GetSize(clkpol)) log_error("Bram %s variant %d has %d groups but only %d entries in 'clkpol'.\n", log_id(name), variant, groups, GetSize(clkpol)); + + int group = 0; + for (auto e : enable) + if (e > dbits) log_error("Bram %s variant %d group %d has %d enable bits but only %d dbits.\n", log_id(name), variant, group, e, dbits); } vector<portinfo_t> make_portinfos() const |