Sortation Diverter

Briefing

A material-handling conveyor feeds items through a photoeye at the entry zone. Each item carries an RFID-style tag identifying it as Type A or Type B. When the photoeye pulses, you must sample the TAG_A and TAG_B inputs immediately, then after a 500 ms travel delay energise the correct diverter for 1 s to route the item. An invalid tag combination (both or neither set) latches ERROR_LAMP.

Objectives

• CONVEYOR_RUN must be on whenever STOP_PB is not pressed
• When PHOTOEYE_IN pulses, latch the TAG_A and TAG_B values for the current item
• After ~500 ms, energise DIVERTER_A_ENERGISE for 1 s if the item is Type A
• After ~500 ms, energise DIVERTER_B_ENERGISE for 1 s if the item is Type B
• If both tags or neither tag read, latch ERROR_LAMP (no diverter action)
• ERROR_LAMP stays latched until power-cycle (or STOP_PB clears it in this simulation)

I/O Table

Your program will be tested against:

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

1. #1CONVEYOR_RUN asserts when not stopped

   With no STOP_PB, CONVEYOR_RUN must be on from the first scan

2. #2STOP_PB stops the conveyor

   Press STOP_PB; CONVEYOR_RUN must de-energise immediately

3. #3Type-A item energises Diverter A

   Inject a Type-A item; after photoeye + travel delay, DIVERTER_A_ENERGISE must pulse

4. #4Type-B item energises Diverter B

   Inject a Type-B item; DIVERTER_B_ENERGISE must pulse

5. #5Both tags simultaneously latches ERROR_LAMP

   Manually assert PHOTOEYE_IN + TAG_A + TAG_B together; ERROR_LAMP must latch