read JAMIESON_TESTS/ava.blif;
resyn2;
read_lut JAMIESON_TESTS/lut_lib4.txt;
fpga;
cec;
write_hie JAMIESON_TESTS/ava.blif JAMIESON_TESTS/ava.4.blif;
time