Update README.md

README.md

@@ -120,7 +120,7 @@ The output will be:
 endmodule
 ```
 
-You can check its correctness using testbench provided under the folder `./data/example/`.
+You can check its correctness using testbench provided under the folder `./data/example/`. The command `evaluate_functional_correctness` is part of the verilog-eval tool, available at https://github.com/NVlabs/verilog-eval/tree/release/1.0.0.
 ```bash
 cd ./data/example/
 evaluate_functional_correctness example_fix.jsonl --problem_file example_problem.jsonl