### Table 2: List of feasible parameters and number of non- equivalent realizations

1999

### TABLE III RUNTIMES (IN CPU SECONDS) FOR SHOWING NON-EQUIVALENCE OF THE REDUNDANT AND NON-REDUNDANT CIRCUITS IN THE ISCAS 85 BENCHMARK.

1999

Cited by 17

### TABLE III RUNTIMES (IN CPU SECONDS) FOR SHOWING NON-EQUIVALENCE OF THE REDUNDANT AND NON-REDUNDANT CIRCUITS IN THE ISCAS 85 BENCHMARK.

1999

Cited by 17

### TABLE III RUNTIMES (IN CPU SECONDS) FOR SHOWING NON-EQUIVALENCE OF THE REDUNDANT AND NON-REDUNDANT CIRCUITS IN THE ISCAS 85 BENCHMARK.

1999

Cited by 17

1999

Cited by 17

### Table 2: Relational Algebra Expressions

### Table 2: Experimental results for showing non-equivalence of the redundant and non-redundant circuits in the ISCAS 85 benchmark. Nerror is the number of outputs that are non-equivalent. Ntotal is the total number of BED nodes for the veri cation.

1997

"... In PAGE 6: ...ect [17], i.e., the non-redundant version was not functionally equivalent to the redundant version. Table2 reports the runtimes of the BED approach to determine non-equivalence. The reported CPU times are for nding all errors.... ..."

Cited by 2

### TABLE II The augmented valences of the symmetry non-equivalent vertices of the nine graphs depicted in Figure 2 and the values of the AVC(1/2d) index for the graphs

1998

### Table 1. The number of square submatrices in a generic matrix of order n, and the number of non-equivalent determinants in a circulant matrix of the same order. The numbers of the last column were obtained by an exhaustive computer search.

"... In PAGE 8: ... However, in a circulant matrix the number of distinct determinants is only a fraction of the number for arbitrary matrices (cf. Table1 ). By impos- ing the extra constraint that the matrix should be a circulant, we increase the probability to nd an MDS-code by random search.... ..."

### Table 1. The number of square submatrices in a generic matrix of order n, and the number of non-equivalent determinants in a circulant matrix of the same order. The numbers of the last column were obtained by an exhaustive computer search.

"... In PAGE 9: ... However, in a circulant matrix the number of distinct determinants is only a fraction of the number for ar- bitrary matrices (cf. Table1 ). By imposing the extra constraint that the matrix should be a circulant, we increase the probability to nd an MDS-... ..."