backends/firrtl/test.sh

   1 #!/bin/bash
   2 set -ex
   3
   4 ../../yosys -p 'prep -nordff; write_firrtl test.fir' test.v
   5
   6 firrtl -i test.fir -o test_out.v
   7
   8 ../../yosys -p '
   9         read_verilog test.v
  10         rename test gold
  11
  12         read_verilog test_out.v
  13         rename test gate
  14
  15         prep
  16         memory_map
  17         miter -equiv -flatten gold gate miter
  18         hierarchy -top miter
  19
  20         sat -verify -prove trigger 0 -set-init-zero -seq 10 miter
  21 '
  22