Updated documentation and code according to the review comments

Signed-off-by: Maciej Kurc <[email protected]>

Author: mkurc-ant

doc/src/vpr/file_formats.rst

@@ -411,13 +411,13 @@ For example:
     .param multiplier 0.50
     .param power 001101
 
-Would set the parameters ``feedback``, ``multipleir`` and ``power``  of the above ``pll`` ``.subckt`` to ``"internal"``, ``0.50`` and ``001101`` respectively.
+Would set the parameters ``feedback``, ``multiplier`` and ``power``  of the above ``pll`` ``.subckt`` to ``"internal"``, ``0.50`` and ``001101`` respectively.
 
 Interpretation of parameter values is out of scope of the BLIF format extension.
 
 ``.param`` statements propagate to ``<parameter>`` elements in the packed netlist.
 
-Paramerer values propagate also to post-route Verilog netlist. Strings and real numbers are passed directly while binary words are prepended with the ``<N>'b`` prefix where ``N`` denotes a binary word length.
+Paramerer values propagate also to the post-route Verilog netlist, if it is generated. Strings and real numbers are passed directly while binary words are prepended with the ``<N>'b`` prefix where ``N`` denotes a binary word length.
 
 .attr
 ~~~~~

vpr/src/base/read_blif.cpp

@@ -20,6 +20,7 @@
 #include <sstream>
 #include <unordered_set>
 #include <cctype> //std::isdigit
+#include <algorithm>
 
 #include "blifparse.hpp"
 #include "atom_netlist.h"
@@ -719,7 +720,7 @@ bool is_binary_param(const std::string& param) {
 }
 
 bool is_real_param(const std::string& param) {
-    const std::string chars = "012345678.";
+    const std::string real_chars = "0123456789.";
 
     /* Must be non-empty */
     if (param.empty()) {
@@ -728,11 +729,16 @@ bool is_real_param(const std::string& param) {
 
     /* The string mustn't contain any other chars that the expected ones */
     for (size_t i = 0; i < param.length(); ++i) {
-        if (chars.find(param[i]) == std::string::npos) {
+        if (real_chars.find(param[i]) == std::string::npos) {
             return false;
         }
     }
 
+    /* There must only be a single dot */
+    if (std::count(param.begin(), param.end(), '.') != 1) {
+        return false;
+    }
+
     /* This is a real number param */
     return true;
 }