mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-08 02:15:20 +00:00
Code Activity

Merge pull request #687 from trcwm/master

Browse source 
Liberty file: error when it contains pin references to non-existing pins
This commit is contained in:
Clifford Wolf 2018-11-04 10:08:33 +01:00 committed by GitHub
parent 18a4c1cdac 04cd179696
commit 68304c6d17
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 10 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
passes/techmap/dfflibmap.cc
View file

@ -100,6 +100,9 @@ static bool parse_pin(LibertyAst *cell, LibertyAst *attr, std::string &pin_name,
for (auto child : cell->children)
if (child->id == "pin" && child->args.size() == 1 && child->args[0] == pin_name)
return true;
log_error("Malformed liberty file - cannot find pin '%s' in cell '%s'.\n", pin_name.c_str(), cell->args[0].c_str());
return false;
}

11
passes/techmap/libparse.cc
View file

@ -159,7 +159,7 @@ int LibertyParser::lexer(std::string &str)
if (c == '\n') {
line++;
return ';';
return 'n';
}
// if (c >= 32 && c < 255)
@ -175,7 +175,7 @@ LibertyAst *LibertyParser::parse()
int tok = lexer(str);
while (tok == ';')
while (tok == 'n')
tok = lexer(str);
if (tok == '}' || tok < 0)
@ -194,6 +194,9 @@ LibertyAst *LibertyParser::parse()
if (tok == ';')
break;
if (tok == 'n')
continue;
if (tok == ':' && ast->value.empty()) {
tok = lexer(ast->value);
if (tok != 'v')
@ -249,14 +252,14 @@ LibertyAst *LibertyParser::parse()
void LibertyParser::error()
{
log_error("Syntax error in line %d.\n", line);
log_error("Syntax error in liberty file on line %d.\n", line);
}
#else
void LibertyParser::error()
{
fprintf(stderr, "Syntax error in line %d.\n", line);
fprintf(stderr, "Syntax error in liberty file on line %d.\n", line);
exit(1);
}