#!/bin/bash yosys -t syn.tcl if grep -q DFFSR sd_rrmux_osu.gv; then echo "FAILED -- DFFSR present in netlist" else echo "PASSED -- DFFSR not present" fi
