A mud flap system for vehicles is provided with first and second mounting arms that releasably engage side portions of a tow assembly. The logic verification operations are executed using a verification model of the system. For each block, a predictor block is generated, wherein all values of the predictor block have a uniform value according to a color index when the prediction mode is set as the independent uniform prediction mode. The MOS transistor has a source region, a drain region and a gate.