### Table 6: Complexity of operations on decision diagrams.

2002

"... In PAGE 37: ... It is well known that using a different branching factor, or representing a function by a vector of diagrams, has no effect on the complexity of the operations used during model-checking [41]. The middle column of Table6 summarizes these complexities of the operations from the left column with respect to the size of the graph representing the diagram. Note that even though we can think of representing an mv-set using a vector of diagrams, the underlying implementation constructs a single directed acyclic graph.... In PAGE 37: ... Moreover, since the underlying graph is connected, we can express the complexity of operations relative to the number of nodes in this graph. These complexities are given in the right column of Table6 , where a9 is the number of nodes and a33 is the branching factor of the decision diagram. Using this representation of complexity, we infer the expected running time based on the empirical evidence on the sizes of different decision diagrams.... ..."

### Table 2 shows the number of cycles of target enlargement that was possible with each of the designs within 200 Mbytes of memory. While the size of the Binary Decision Diagrams(BDDs) is not very large, computing the next larger preimage for all the examples except Inbox, MC1, and MC2 (Small), exceeded the memory limit [1].

1998

"... In PAGE 2: ... Table2 Target Enlargement Table 3 shows the number of visited states and explored states. The number of visited states includes those that eventually became explored states.... ..."

Cited by 58

### Table 2 shows the number of cycles of target enlargement that was possible with each of the designs within 200 Mbytes of memory. While the size of the Binary Decision Diagrams(BDDs) is not very large, computing the next larger preimage for all the examples except Inbox, MC1, and MC2 (Small), exceeded the memory limit [1].

"... In PAGE 2: ... Table2 Target Enlargement Table 3 shows the number of visited states and explored states. The number of visited states includes those that eventually became explored states.... ..."

### Table 2 shows the number of cycles of target enlargement that was possible with each of the designs within 200 Mbytes of memory. While the size of the Binary Decision Diagrams(BDDs) is not very large, computing the next larger preimage for all the examples except Inbox, MC1, and MC2 (Small), exceeded the memory limit [1].

"... In PAGE 2: ... Table2 Target Enlargement Table 3 shows the number of visited states and explored states. The number of visited states includes those that eventually became explored states.... ..."

### Table 3: Accuracy results for binary decisions.

"... In PAGE 5: ... The second best results were obtained with level morph. These results could have been expected from the results obtained by the individual decisions ( Table3 ); however, note that the differences between the various levels are much clearer in the combined classification than in the individual binary decisions. Table 5 shows the two-by-two comparisons of the accuracy scores.... ..."

### TABLE II AVERAGE NUMBER OF NODES AND EVALUATION TIME OF DECISION DIAGRAMS.

2003

Cited by 4

### Table 4.1 Walsh Spectral Decision Diagrams

2002

### Table 4.3 Arithmetic Spectral Decision Diagrams

2002

### Table 1 Summary of Binary Design Decisions

"... In PAGE 5: ... We measured the average speed-up over the header match lengths for both the MESH and ISS models. Table 1 summarizes the average and maximum error for the MESH with respect to the ISS model for nine design modifications (the first and last columns of Table1 are discussed later). Of the nine experiments, seven have average percent error less than 5%, and seven have maximum percent error less than 5%.... In PAGE 6: ... This shows an increased performance at each match length predicted by both models. Table1 summarizes all nine design modifications according to whether the modification can be evaluated correctly in terms of performance improvement or degradation. The design change index is the modification as listed in section 3.... In PAGE 6: ... a design change step for both MESH (yellow) and ISS (blue). Adding the third microengine initially produces a performance degradation (also shown in Table1 ). However, in combination with other changes, such as increasing the number of memory arbiters, a performance improvement is seen.... ..."