Formal Verification of Hardware Components in Critical Systems

Figure 2

Block diagrams of two versions of a BCD adder. The BCD adder on the left is with look-ahead carry generator and the one on the right is without look-ahead carry generator [29].

(a)

(b)