In reply to hal9e3:
Another non-solution:
((d == SYNC_DATA) or flag, flag = 1) |-> ^d ^ available ^ parity;
Only fires when d == sync_data
In reply to hal9e3:
Another non-solution:
((d == SYNC_DATA) or flag, flag = 1) |-> ^d ^ available ^ parity;
Only fires when d == sync_data