Examples

In order to demonstrate the functionality of PROLEAD, we provide some selected examples in the examples folder. Each example is structured as follows:

1. The rtl folder contains the rtl code in VHDL or Verilog.
2. The gate folder contains the resulting gate level netlist which is given as an input to PROLEAD.
3. The results directory which is further divided into normal_mode and compact_mode directories contains the used config.set file which encompasses all evaluation settings. In addition, we created an execution script run.sh for each test case. To execute the script, just navigate into the respective folder and run ./run.sh. Moreover, results contains all reports generated by PROLEAD. The main report is given as Report.dat and builds the starting point for interpreting the results. More information regarding the interpretation of results is given under Results.