Abstract: Provided are a computer program product, system, and method for using symbolic execution to validate a hardware configuration with a reference software implementation of processing rules. Symbolic execution is performed of a software model comprising executable code defining logic of a hardware pipeline to produce first symbolic output. Symbolic execution is performed of a reference software implementation of processing rules implemented in the hardware pipeline to produce second symbolic output. The first symbolic output and the second symbolic are compared output to determine a discrepancy between the first and the second symbolic outputs. The discrepancy is reported including report information on a cause of the discrepancy.

Abstract: A computing device is provided, including a display and a processor. The processor may, for each frame of a plurality of frames included in a video, determine a brightness characterization for a region of interest of the frame. The processor may determine one or more additional brightness characterizations for the region of interest of one or more additional frames of the plurality of frames. The processor may determine that a high brightness condition is present in the region of interest. The processor may generate a filter for the frame based on the brightness characterization and the one or more additional brightness characterizations. The processor may apply the filter to the region of interest of the frame to generate a filtered frame. The high brightness condition is not present in the region of interest of the filtered frame. The processor may output the filtered frame for display at the display.

Abstract: A computing device is configured to selectively adjust a brightness of a video based on a user-specific response to light. A user-specific light response parameter is determined. For each frame of a plurality of frames included in the video, (1) a brightness characterization for the frame is determined, (2) one or more additional brightness characterizations for one or more additional frames of the plurality of frames is determined, (3) a filter for the frame is generated based on the brightness characterization, the one or more additional brightness characterizations, and the user-specific light response parameter, (4) the filter is applied to the frame to generate a filtered frame, and (5) the filtered frame is output by the computing device. The filter is configured such that if a high brightness condition is present in the frame, then the high brightness condition is mitigated or removed from the filtered frame.

Abstract: A computing device is provided, including a display and a processor. The processor may, for each frame of a plurality of frames included in a video, determine a brightness characterization for a region of interest of the frame. The processor may determine one or more additional brightness characterizations for the region of interest of one or more additional frames of the plurality of frames. The processor may determine that a high brightness condition is present in the region of interest. The processor may generate a filter for the frame based on the brightness characterization and the one or more additional brightness characterizations. The processor may apply the filter to the region of interest of the frame to generate a filtered frame. The high brightness condition is not present in the region of interest of the filtered frame. The processor may output the filtered frame for display at the display.

Abstract: A computing device is configured to selectively adjust a brightness of a video based on a user-specific response to light. A user-specific light response parameter is determined. For each frame of a plurality of frames included in the video, (1) a brightness characterization for the frame is determined, (2) one or more additional brightness characterizations for one or more additional frames of the plurality of frames is determined, (3) a filter for the frame is generated based on the brightness characterization, the one or more additional brightness characterizations, and the user-specific light response parameter, (4) the filter is applied to the frame to generate a filtered frame, and (5) the filtered frame is output by the computing device. The filter is configured such that if a high brightness condition is present in the frame, then the high brightness condition is mitigated or removed from the filtered frame.

Abstract: A computing device is configured to selectively adjust a color-specific brightness of a video based on a user response to light. For each frame of a plurality of frames included in a video, (1) for a color channel of the frame, a color-specific brightness characterization is determined, (2) for the color channel, in one or more additional frames, one or more additional color-specific brightness characterizations are determined, (3) a filter for the frame is generated based on the color-specific brightness characterization and the one or more additional color-specific brightness characterizations, (4) the filter is applied to the frame to generate a filtered frame, and (5) the filtered frame is output. The filter is configured such that if a color-specific high brightness condition for the color channel is present in the frame, then the color-specific high brightness condition for the color channel is mitigated or removed from the filtered frame.