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 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)
The effects of three levels of caproic acid in glycine-citrate extender on preservation of fertilizing capacity of fowl spermatozoa were tested. Extended semen stored for 6 and 28 hours was used for insemination in diluted or reconcentrated forms. The results indicated that semen stored in the extender with the highest concentration of caproic acid provided(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)
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)
To test the hypothesis that glycerol would concomitantly affect sperm membrane structure and the function of the intact cells, boar semen (4 ejaculates from 4 boars) was cryopreserved in an egg yolk extender with 0%, 2%, 4%, or 8% glycerol in 0.5-mL straws using previously derived optimal cooling and thawing rates. Increasing glycerol concentrations(More)
We propose a new built-in self-test (BIST) method based on a combination of a pseudo-random test method with a deterministic test. This enables us to reach a high fault coverage in a short test time and with a low area overhead. The main feature of the method is that there are no memory elements to store the deterministic test patterns; the test patterns(More)
  • Petr Fiser
  • 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)