Robustness assessment through iterative statistical fault injection: LEON3 processor as a case study

<p><strong>Dataset exemplifies an approach of iterative statistical fault injection to assess the robustness of HDL models.</strong></p> <p>Contents:<br> 1.&nbsp;Results of exhaustive fault injection experiments (bit-flip faults) into LEON3 processor model;<br> 2. Interactive querying interface, allowing to obtain custom samples from exhaustive results, and visualize them;<br> 3. Python scripts simulating 3 approaches to statistical fault injection: conservative, error-driven, time-driven.</p> <p>&nbsp;</p> <p><strong>Installation guide:</strong></p> <p>&nbsp; &nbsp; &nbsp; &nbsp; 1. Ensure to have python ver. 2.x installed. Type in terminal (cmd console in Windows): &ldquo;python --version&rdquo; &ndash; if the output looks like &gt; Python 2.x.x &ndash; python is installed.&nbsp;<br> &nbsp; &nbsp; &nbsp; &nbsp; Otherwise download and install 2.x.x distribution: https://www.python.org/<br> &nbsp; &nbsp; &nbsp; &nbsp; Add python installation path to environment path variable.</p> <p><br> &nbsp; &nbsp; &nbsp; &nbsp; 2. Ensure to have Web-Server installed (Apache preferable). For instance, XAMPP: https://www.apachefriends.org/index.html</p> <p>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;<br> &nbsp; &nbsp; &nbsp; &nbsp; 3. Ensure that Web-server is configured to execute CGI scripts, particularly python-scripts:<br> &nbsp; &nbsp; &nbsp; &nbsp; In the &#39;httpd.conf&#39; file (XAMMP control panel &ndash; button config in front of apache module):<br> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;</p> <p>&nbsp; &nbsp; &nbsp; &nbsp; &ndash; search for line Options Indexes FollowSymLinks and add ExecCGI, so the resulting line looks like this:&nbsp;<br> &nbsp; &nbsp; &nbsp; &nbsp; Options Indexes FollowSymLinks ExecCGI<br> &nbsp; &nbsp; &nbsp; &nbsp; &ndash; search for #AddHandler cgi-script .cgi, uncomment (remove #), and append &ldquo;.py&rdquo; to this line, so the results looks like:<br> &nbsp; &nbsp; &nbsp; &nbsp; AddHandler cgi-script .cgi .pl .asp .py&nbsp;</p> <p>&nbsp; &nbsp; &nbsp; &nbsp; 4. Unpack the contents of *.zip package into the folder on the Web Server.&nbsp;<br> &nbsp; &nbsp; &nbsp; &nbsp; For instance into &#39;Web-server root folder&#39;/Dataset.<br> &nbsp; &nbsp; &nbsp; &nbsp; The Web-Server root can be configured in the &lsquo;httpd.conf&rsquo; file in the DocumentRoot section, for instance:&nbsp;<br> &nbsp; &nbsp; &nbsp; &nbsp; DocumentRoot &quot;F:/HTWEB&quot;<br> &nbsp; &nbsp; &nbsp; &nbsp; &lt;Directory &quot;F:/HTWEB&quot;&gt;<br> &nbsp; &nbsp; &nbsp; &nbsp; ...</p> <p>&nbsp; &nbsp; &nbsp; &nbsp; 5. In the web-browser navigate to the root directory of extracted package:<br> &nbsp; &nbsp; &nbsp; &nbsp; http://localhost/Dataset/index.html</p>