### Table 8: A Counterexample

1992

"... In PAGE 21: ...Table 8: A Counterexample It is possible to come up with decompositions of the identity for various groups which do not satisfy the hypotheses of the previous lemma. An example, see Table8 , is obtained by complicating Table 5. In fact, this example does not lead to a direct sum decomposition.... ..."

Cited by 15

### Table 1. Deltas for Counterexample

1996

"... In PAGE 22: ... Any relationship not shown goes down for T and up for T 0. Table1 lists the sets for every reversal. Note that this table gives no way to implement (x; y).... ..."

Cited by 1

### Table 1: Counterexamples

"... In PAGE 21: ...4, whereas the remaining consistency results follow from Proposition 6. Strictness, the absence of further extensions and the inconsistencies follow from the information collected in Table1 , which indicates which of the TSSs P1{P8 given in this paper are meaningful according to each of the solutions. A `? apos; indicates that the TSS is meaningless, a `+ apos; that it has the same meaning as given by Solution 9, and a ` apos; that is has a meaning di erent from the one given by Solution 9.... ..."

### Table 1. Deltas for Counterexample

"... In PAGE 22: ... Any relationship not shown goes down for T and up for T 0. Table1 lists the sets for every reversal. Note that this table gives no way to implement (x; y).... ..."

### Table 3. Counterexample detection performance

### Table 1. Experimental results: Compression of Counterexamples

"... In PAGE 8: ... The first 6 designs have been given on the register-transfer level, while the last one is a flat netlist. The results showing the effectiveness of the overall algorithm are given in Table1 and 2. In Columns 2 to 5, the number of primary inputs, outputs, registers, and gates are given, respectively.... In PAGE 8: ... In Columns 2 to 5, the number of primary inputs, outputs, registers, and gates are given, respectively. In Table1 , the size of the counterexample before and after compression is given in the next two columns. It can be seen that usually the counterexamples are very small compared to the total number of registers.... ..."

### Table 3. Counterexample for liveness in a buggy DME.

2001

Cited by 66

### Table 3. Counterexample for liveness in a buggy DME.

2001

Cited by 66