Update the download status of a logic solver

This procedure assumes that there is a blue triangle with a question mark () status indicator beside the Logic Solver.

Note:
This procedure applies to both SLS 1508 Logic Solvers and CHARMs Smart Logic Solvers.
  1. Navigate to the Logic Solver.
  2. Right-click, and then select one of the following menu options:
    • Download Status → Update

      If a blue triangle () status indicator appears for this node, a download is required.

    • Download Status → Show Details

      After updating the download status for the node, the Pending Download Changes dialog opens. If a blue triangle () status indicator appears for this node, a download is required.

    Note:
    The download status is updated and, depending on the actual download status, one of the following occurs:
    1. No status indicator appears
    2. A blue triangle or a blue triangle and a yellow triangle () status indicator appears