fixed_bits_valid
return fixed_bits_valid(control, low, high);
return fixed_bits_valid(val, fixed0, fixed1);
return fixed_bits_valid(val, fixed0, fixed1);
return fixed_bits_valid(val, fixed0, fixed1) &&