CRC_VALID - да, но он не эквивалентен биту в регистре 177130. Читаемый бит в регистре называется CSR_CRC и получается с выхода триггера J36. А триггер защелкивается именно в момент окончания чтения (когда не выполняем требование считывания слова CRC).
Промоделировал чтение - повторное обнаружение маркера не обнуляет регистр CRC, только первый маркер.

