ci/verification-handshake-protocol/handshake-protocol.result.ref
Handshake protocol checks:
* incorrect expression: null
* {incorrect}{signals}: null
* {a}{r}: false
* { a } { r }: false
* {r} {a}: true
* {r1 r2} {a12}: true
* {a12} {r1 r2}: false
* {a12} {r1 r2}, REQ1ACK0, allow-inversion=false: false
* {a12} -> {r1 r2}, REQ1ACK0, allow-inversion=true: true