Manual for Yosys

[bl4ck5un]

Hi, I'm following the instructions for Yosys: https://github.com/esonghori/TinyGarble/tree/master/circuit_synthesis, but there is no file named benchmark.v throughout the repo. Did I miss something?

[siamumar]

"benchmark" is the common name we use for all the netlists in TinyGarble/circuit_synthesis. You can replace it with any of the benchmark functions (e.g., aes, argmax, compare, etc) in that directory.