Quartus eliminates intermediate signal causing an overflow.

Thanks for providing the details.

I reviewed IEEE Std 1364 chapter 5.4.1 rules for expression bit lengths and don't see an unequivocal rule for the said case assign f0 = b*c0/d;

It's clear, that in the solution suggested BadOmen assign g = b * c; no overflow occurs, but in your original example, the assignment LHS possibly doesn't rule the bit width of the multiply, instead the width of the factors (14 bit) will be assigned. Thus making an explicite width assignment seems appropriate. Alternatively you can extend one factor by a concatenation with a zero bit vector 14'b0.