thegoldgoat/rl-generator-2021-2022

Random test generator for Reti Logiche 2021-2022 project at Politecnico di Milano

Politecnico di Milano - Progetto Reti Logiche 2021-2022

How to install

First clone this repo, then:

pip3 install -r requirements.txt

or

pip install -r requirements.txt

How to generate tests

Usage: generator.py [OPTIONS]

Options:
  --size INTEGER RANGE   Number of tests to generate  [default: 100; x>=0]
  --limit INTEGER RANGE  Maximum input stream size  [default: 255; 0<=x<=255]
  --randseed INTEGER     Random generator seed
  --help                 Show this message and exit.

To generate tests run:

python3 generator.py

or

python generator.py

Example:

python generator.py --size 1000

Output

1. test_values.txt: human readable file containing the generated tests
2. ram_content.txt: file used by the Vivado testbench. It contains both the values loaded in RAM before testing your circuit, and the values that it checks after your circuit has finished processing.

How to use in Vivado

1. Import gen_testbench_no_reset.vhd file in Vivado
2. Update the file with the correct file paths for ram_content.txt, non_passati.txt and passati.txt
3. Run the simulation using gen_testbench_no_reset.vhd as testbench
4. After the simulation ends, check non_passati.txt and passati.txt for the results

Credits

Based on work of RL-generator-2020-21 by Davide Merli

Pretty print function by Daniele Locatelli

Importing RAM from outside feature by Davide Mornatta

Original testbench code by Mark Zampedroni here