Debugging Handshake Deadlock
A standard valid-ready handshake protocol transfers data between a sender and receiver without dropping packets.
Expected behavior:
| has_data | ready | valid | |------------|---------|---------| | 0 | 0 | 0 | | 0 | 1 | 0 | | 1 | 0 | 1 | | 1 | 1 | 1 |
Simulation shows valid = 0 for input has_data = 1, ready = 0. The testbench times out waiting for valid to assert before it asserts ready. Inspect the circuit and correct the fault.
Constraints
- The
validsignal must depend only on the availability of data to send. - Do not create combinatorial loops or circular dependencies between
validandready.
Topics
Solve this problem
Place the gates, wire them up and watch the signals settle. Every submission runs on the same simulation engine that grades it.
This problem is part of Codiode Pro. The statement above is free to read.
The circuit builder and code editor need a desktop screen. On a phone, read the problem here and open it on a laptop to solve.