Figure 2: Three functions aimed to implement a comparator of 16 bits. While eq_1 and eq_2 are correct, eq_wrong is a deliberately wrong implementation.