backends/firrtl/test.sh

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