“…One advantage of the proposed algorithm, is that it does not require bit level analysis or creating Cartesian equations and developing a particular engine to solve these equations as in [2], [3], [5], [10], [11]. Our constraints are word level constraints and are applied on existing SV constraint solvers.…”