arf_accurate.v