Supongamos que tenemos el siguiente código donde a , b y c tienen un ancho de 3 bits que representa números sin signo:
a <= (b + c);
El diseñador espera un desbordamiento en este caso. Por ejemplo, si b y c son iguales a 3'd7 , entonces el resultado esperado es 3'd6 ). El código en sí es bastante similar al de un contador binario, excepto que los anchos de los operandos son mayores que 1 bit.
La pregunta es si es seguro asumir que las herramientas de síntesis crearán un hardware que se encargue del caso anterior según lo previsto por el diseñador o si se debe tener un cuidado especial.