workcraft/workcraft

View on GitHub
ci/verification-handshake-protocol/handshake-protocol.result.ref

Summary

Maintainability
Test Coverage
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