aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMiodrag Milanović <mmicko@gmail.com>2022-03-07 09:41:25 +0100
committerGitHub <noreply@github.com>2022-03-07 09:41:25 +0100
commit4ccc2adbda523283997f273b0f182807ab07c0a9 (patch)
tree1b50535f8fa826b092b1b0341d7fce8ac055cc9b
parent7ba636cb3272c3158dc58bb1017ffbc15b609bb1 (diff)
parent2d3a337795f9b9009634536439d3ad18dbc15d11 (diff)
downloadyosys-4ccc2adbda523283997f273b0f182807ab07c0a9.tar.gz
yosys-4ccc2adbda523283997f273b0f182807ab07c0a9.tar.bz2
yosys-4ccc2adbda523283997f273b0f182807ab07c0a9.zip
Merge pull request #3210 from rqou/json-signed
json: Add help message for `signed` field
-rw-r--r--backends/json/json.cc2
1 files changed, 2 insertions, 0 deletions
diff --git a/backends/json/json.cc b/backends/json/json.cc
index 42eedc606..270d762ee 100644
--- a/backends/json/json.cc
+++ b/backends/json/json.cc
@@ -394,6 +394,7 @@ struct JsonBackend : public Backend {
log(" \"bits\": <bit_vector>\n");
log(" \"offset\": <the lowest bit index in use, if non-0>\n");
log(" \"upto\": <1 if the port bit indexing is MSB-first>\n");
+ log(" \"signed\": <1 if the port is signed>\n");
log(" }\n");
log("\n");
log("The \"offset\" and \"upto\" fields are skipped if their value would be 0.");
@@ -443,6 +444,7 @@ struct JsonBackend : public Backend {
log(" \"bits\": <bit_vector>\n");
log(" \"offset\": <the lowest bit index in use, if non-0>\n");
log(" \"upto\": <1 if the port bit indexing is MSB-first>\n");
+ log(" \"signed\": <1 if the port is signed>\n");
log(" }\n");
log("\n");
log("The \"hide_name\" fields are set to 1 when the name of this cell or net is\n");