Press Safety Interlock

A press has two guard-door sensors. Write the logic that enables it only when both sensors report closed and power is on. The warning lamp and sensor-fault indicator have different jobs, so work out each output separately. This exercise models the logic only; a real machine needs a safety-rated control system.

Interface

Behavior

• run_o is high only when the power is on and both sensors read closed
• alert_o is high when the power is on but the guard is not fully confirmed closed; that is, at least one sensor reads open
• fault_o is high whenever the two sensors disagree, regardless of power

The testbench sweeps all eight input combinations and checks all three outputs on every row.

Constraints

STRUCTURE: one assignment outside a procedural block per output, using only and, or, xor, and not. No procedural blocks; this is pure combinational wiring.