The Self Assignment Trap
An error encoder generates a 2-bit status code purely from current system flags.
Expected behavior:
| clear | err_a | err_b | code | |---------|---------|---------|--------| | 0 | 0 | 0 | 0 | | 0 | 0 | 1 | 2 | | 0 | 1 | 0 | 1 | | 0 | 1 | 1 | 3 | | 1 | 0 | 0 | 0 | | 1 | 0 | 1 | 0 | | 1 | 1 | 0 | 0 | | 1 | 1 | 1 | 0 |
Synthesis reports an inferred latch on the code output. Sequential simulation shows code = 1 for input clear=0, err_a=0, err_b=0 if the preceding cycle had err_a=1. The circuit is retaining state instead of acting combinationally. Inspect the circuit and correct the fault.
Constraints
- The circuit must be purely combinational.
- No state retention elements or feedback loops are permitted.
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.