Domanda di colloquio di Atria Logic

How to wright constraint for division of two without using modulus?