Learn More
We present a two-level Boolean minimization tool (BOOM) based on a new implicant generation paradigm. In contrast to all previous minimization methods, where the implicants are generated bottom-up, the proposed method uses a top-down approach. Thus instead of increasing the dimensionality of implicants by omitting literals from their terms, the dimension of(More)
The interaction of glycerol concentrations of 0-10% and cooling rates from 1 to 1,500 degrees C/min with boar spermatozoa motility and acrosomal integrity (proportion of spermatozoa with normal apical ridge) was studied after thawing 0.5 ml straws at a constant rate. While increasing the glycerol concentration from 0 to 4% progressively improved motility,(More)
The effect of thawing velocities ranging from 10 degrees C/min to 1,800 degrees C/min on the motility and acrosomal integrity of boar spermatozoa frozen at 1 degree C/min (suboptimal), 5 degrees C/min, and 30 degrees C/min (optimal) rate was studied with the sperm suspended for freezing in diluent containing 2, 4, or 6% of glycerol (v/v). The influence of(More)
DONE NO ColumnMatching(C, T) { for (i = 0; i < C_matrix_rows; i++) for (j = 0; j < T_matrix_rows; j++) B[i, j] = ”1”; A = ∅; do { p = random(C_matrix_columns); q = random(T_matrix_columns); for (i = 0; i < C_matrix_rows; i++) for (j = 0; j < T_matrix_rows; j++) if (T[j, q] ≠ DC && C[i, p] ≠ T[j, q]) B[i, j] = ”0”; A’ = A; A = MakeRowAssignment(B); } while(More)
A new method of test-per-clock BIST design for combinational circuits is proposed. The fundamental problem of matching the PRPG outputs with the required test patterns is solved as a general design problem in the field of combinational logic. A test set generated by an ATPG is compared with the PRPG generated sequence. The solution is based on a novel(More)
Two concentrations of glycerol in a freezing diluent were tested with respect to the in vitro fertilizing capacity of frozen-thawed boar spermatozoa which, before exposure to oocytes, were subjected to 3 methods of fractionation. These were 1) the upper fraction, 2) the swim-up and 3) percoll gradinet-centrifugation. The highest proportions of motile(More)
  • Petr Fiser
  • 10th Euromicro Conference on Digital System…
  • 2007
This paper discusses possibilities for a choice of a pseudorandom pattern generator that is to be used in combination with the column-matching based built-in self-test design method. The pattern generator should be as small as possible, whereas patterns generated by it should guarantee satisfactory fault coverage. Weighted random pattern generators offer(More)