diff options
| author | Niels Moseley <n.a.moseley@moseleyinstrumnets.com> | 2018-11-03 18:07:51 +0100 |
|---|---|---|
| committer | Niels Moseley <n.a.moseley@moseleyinstrumnets.com> | 2018-11-03 18:07:51 +0100 |
| commit | d1e8249f9acd6e65e9804f5998906c6ce1915ec1 (patch) | |
| tree | 4262be0cf889f27445574027cfdd89c37110cfe1 /passes | |
| parent | d86ea6badd1911064138c32fc8e65934f923f90e (diff) | |
| download | yosys-d1e8249f9acd6e65e9804f5998906c6ce1915ec1.tar.gz yosys-d1e8249f9acd6e65e9804f5998906c6ce1915ec1.tar.bz2 yosys-d1e8249f9acd6e65e9804f5998906c6ce1915ec1.zip | |
Report an error when a liberty file contains pin references that reference non-existing pins
Diffstat (limited to 'passes')
| -rw-r--r-- | passes/techmap/dfflibmap.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/passes/techmap/dfflibmap.cc b/passes/techmap/dfflibmap.cc index 416ed2bd5..421073485 100644 --- a/passes/techmap/dfflibmap.cc +++ b/passes/techmap/dfflibmap.cc @@ -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; } |