yosys_estimate

#!/bin/sh

docker run -v `pwd`/out/verilog/$1:/verilog --rm -it yosys \
  -p "read_verilog /verilog/*.v" \
  -p "synth_xilinx -top $2"