From f621c97a2f4ec746711e7d245e7bb3cc850ae563 Mon Sep 17 00:00:00 2001 From: Kesha Hietala Date: Mon, 11 Jul 2022 22:14:21 -0400 Subject: [PATCH] Update README.md --- experiments/README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/experiments/README.md b/experiments/README.md index 3b35925..0554165 100644 --- a/experiments/README.md +++ b/experiments/README.md @@ -4,6 +4,8 @@ All of the QASM files generated for our paper are available in the vqo_files and ## Running Experiments +Our experiments require the VOQC optimizer, whcih can be installed with `opam install voqc`. + First, run `make` in the top level (`..`) directory. This will compile our Coq proofs. Then run `./extract.sh` in the current directory. This will extract our Coq definitions to OCaml and compile the resulting OCaml code. Finally, run `./run.sh` in the current directory. This will re-generate the circuits in vqo_files and run VOQC on all circuit, writing the results to `results.csv`. The files in the vqo_files directory use the following naming conventions, where N is the number of bits in the operation: @@ -14,4 +16,4 @@ The files in the vqo_files directory use the following naming conventions, where * cl-mod-mul-N.qasm, rz-mod-mul-N.qasm - computes (x * M1 % M2) using TOFF-based or QFT-based arithmetic * cl-div-mod-N.qasm, rz-div-mod-N.qasm - computes (x mod y, x / y) using TOFF-based or QFT-based arithmetic * rz-appr-* - approximate versions of various QFT arithmetic circuits -* partial-eval-* - circuits computing (x * y / M), with different degrees of partial evaluation \ No newline at end of file +* partial-eval-* - circuits computing (x * y / M), with different degrees of partial evaluation