The monotonic definition of a loop is extended to LUTs as well. A LUT L(i) is considered to be monotonic with respect to its cyclic input M(i) if there exists a function of non-cyclic inputs to LUT L(i) that would propagate the cyclic input M(i) directly or inverted to its outpu...
Embodiments may further include providing a graphical user interface configured to display one or more constraint candidates and determining whether or not a conflict exists between constraint candidates. Embodiments may also include ranking the constraint candidates, based upon, at least in part, a ...