Improved write_json help message

diff --git a/backends/json/json.cc b/backends/json/json.cc
index 4baffa33e8d14a03de083e29a9e67a002ae5d4b7..f3969d0e65682b0df0ba9b5047835132836c21c7 100644 (file)
--- a/backends/json/json.cc
+++ b/backends/json/json.cc
@@ -333,6 +333,10 @@ struct JsonBackend : public Backend {
                log("connected to a constant driver are denoted as string \"0\" or \"1\" instead of\n");
                log("a number.\n");
                log("\n");
+               log("Numeric parameter and attribute values up to 32 bits are written as decimal\n");
+               log("values. Numbers larger than that are written as string holding the binary\n");
+               log("representation of the value.\n");
+               log("\n");
                log("For example the following Verilog code:\n");
                log("\n");
                log("    module test(input x, y);\n");