### Table 1. Encodings for the different proof techniques CIRC. ELEM. SAT SWORD SMT CSP

"... In PAGE 3: ...1. Encoding Effort In Table1 an overview of the estimated effort for the en- coding of standard circuit elements is presented, including an n-bit variable declaration, n-bit logic operation and n-bit arithmetic operation. The focus is on the number of vari- ables and constraints that are necessary to declare a circuit element.... ..."

### Table 1: Results for the n-bit full adder.

2000

Cited by 51

### TABLE II Component Counts for n-bit Multipliers with Overflow Detection.

2000

Cited by 6

### Table 1. Asymptotic comparison of n-bit multiplier structures.

"... In PAGE 14: ... The array multiplier produces a new result at each clock cycle, achieving a constant throughput, while the serial-parallel unit suffers a rapid decrease, as the throughput is proportional to the inverse of the word length. Table1 summarizes the structural characteristics of the designs. An important measure of cost efficiency is, how many multiplication results we can obtain per clock cycle, for a unit circuit area invested in the multiplier.... ..."

### Table 12: Quality of n-Bit Encoding Using Optimal Range

"... In PAGE 49: ...25 respec- tively) enhances the impression that this is the optimal range, independent from the number of encoding bits: Also here, better results than with other scaling factors can be achieved. Table12 presents the terminal error of the median run in all four encoding cases. The more encoding bits are used, the better the results.... ..."

### Table I Multiplication Time For 2n-bit Integers

### Table 12: Quality of n-Bit Encoding Using Optimal Range

1994

"... In PAGE 49: ...25 respec- tively) enhances the impression that this is the optimal range, independent from the number of encoding bits: Also here, better results than with other scaling factors can be achieved. Table12 presents the terminal error of the median run in all four encoding cases. The more encoding bits are used, the better the results.... ..."