riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Adding check for BLIF names command input plane size.

This commit is contained in:
Archie 2022-08-21 23:18:20 -05:00
parent db73f3c26b
commit 15a0697c70
2 changed files with 17 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
frontends/blif/blifparse.cc
View File

@ -21,6 +21,8 @@
YOSYS_NAMESPACE_BEGIN YOSYS_NAMESPACE_BEGIN
const int lut_input_plane_limit = 12;
static bool read_next_line(char *&buffer, size_t &buffer_size, int &line_count, std::istream &f) static bool read_next_line(char *&buffer, size_t &buffer_size, int &line_count, std::istream &f)
{ {
string strbuf; string strbuf;
@ -513,6 +515,11 @@ void parse_blif(RTLIL::Design *design, std::istream &f, IdString dff_name, bool
sopmode = -1; sopmode = -1;
lastcell = sopcell; lastcell = sopcell;
} }
else if (input_sig.size() > lut_input_plane_limit)
{
err_reason = stringf("names' input plane must have fewer than 13 signals.");
goto error_with_reason;
}
else else
{ {
RTLIL::Cell *cell = module->addCell(NEW_ID, ID($lut)); RTLIL::Cell *cell = module->addCell(NEW_ID, ID($lut));
@ -576,7 +583,7 @@ void parse_blif(RTLIL::Design *design, std::istream &f, IdString dff_name, bool
if (lutptr) if (lutptr)
{ {
if (input_len > 12) if (input_len > lut_input_plane_limit)
goto error; goto error;
for (int i = 0; i < (1 << input_len); i++) { for (int i = 0; i < (1 << input_len); i++) {

9
tests/blif/bug3385.ys Normal file
View File

@ -0,0 +1,9 @@
logger -expect error "Syntax error in line 4: names' input plane must have fewer than 13 signals." 1
read_blif <<EOF
.model test
.inputs w0 w1 w2 w3 w4 w5 w6 w7 w8 w9 w10 w11 w12 w13 w14 w15 w16 w17 w18 w19 w20 w21 w22 w23 w24 w25 w26 w27 w28 w29 w30
.outputs out
.names w0 w1 w2 w3 w4 w5 w6 w7 w8 w9 w10 w11 w12 w13 w14 w15 w16 w17 w18 w19 w20 w21 w22 w23 w24 w25 w26 w27 w28 w29 w30 out
1101010001100110010001100111001 0
.end
EOF