AV1 Arithmetic Encoder Design on Open-Source EDA