The flags from FX3 slave has polarity Active High which means if for read operation if the DMA buffer is not empty then the FLAG A will be High and as soon as the DMA buffer is read by master the flag will be asserted low (!FLAG A) on seeing this the master will stop reading the data
This is confusing since in the state machine, the transition logic is based on FLAGA or !FLAGA, not FLAGA_Active or !FLAGA_Active, then does it matter FLAGA is set to "active high" or "active low" in master?
>> Yes this will matter. If you keep the polarity of FLAG as active LOW then the transitions equations need to be changed.
Please refer to