CCST 15 — Diagnose: Scan-Order Race Condition

Briefing

Two rungs read and write the same internal bit. Rung 2 sets BIT_A, but Rung 1 (which clears it) runs first in the scan — so BIT_A is always cleared before BIT_OUT sees it. Reorder the rungs to fix it.

Objectives

• Identify that rung evaluation order causes BIT_OUT never to see BIT_A
• Move the set rung BEFORE the clear rung
• Verify BIT_OUT goes TRUE when TRIGGER is asserted

I/O Table

Your program will be tested against:

All test cases run automatically when you submit. Assertions are hidden until you pass.

1. #1Output follows trigger

   Output follows trigger