#!/bin/sh
FILES="tb_drygascon128.v drygascon128_use_funcs.v"
FLAGS="+interp +dump2fst +fst+parallel2=on" cvc64 $FLAGS $FILES