Best ROBDD variable ordering for functions with disjunctivedecompositions

The problem of finding a variable ordering to minimise the size of a reduced ordered binary decision diagrams (ROBDD) is considered for functions possessing disjunctive decompositions. An example is presented showing that the best ordering for a function with a disjunctive decomposition cannot always be directly determined from the best orderings for the component functions     

Further evidence for elevated human minisatellite mutation rate in Belarus eight years after the Chernobyl accident

Analysis of germline mutation rate at human minisatellites among children born in areas of the Mogilev district of Belarus heavily polluted after the Chernobyl accident has been extended, both by recruiting more families from the affected region and by using five additional minisatellite probes, including multi-locus probe 33.6 and four hypervariable single-locus probes. These additional data confirmed a twofold higher mutation rate in exposed families compared with non-irradiated families from the United Kingdom. An elevated rate was seen at all three independent sets of minisatellites (detected separately by multi-locus probes 33.15, 33.6 and six single-locus probes), indicating a generalised increase in minisatellite germline mutation rate in the Belarus families. Within the Belarus cohort, mutation rate was significantly greater in families with higher parental radiation dose estimated for chronic external and internal exposure to caesium-137, consistent with radiation induction of germline mutation. The spectra of mutation seen in the unexposed and exposed families were indistinguishable, suggesting that increased mutation observed over multiple loci arises indirectly by some mechanism that enhances spontaneous minisatellite mutation.     

Effect of exogamy on morbidity among children during the first three years of life

The yeast Saccharomyces cerevisiae mRNA capping enzyme is composed of two subunits of alpha (52 kDa, mRNA guanylyltransferase) and beta (80 kDa, RNA 5'-triphosphatase). We have isolated the alpha subunit gene (CEG1) by immunological screening. In this report, with the aid of partial amino acid sequences of purified yeast capping enzyme, we isolated the gene, designated CET1, encoding the S. cerevisiae capping enzyme beta subunit. Amino acid sequence analysis revealed that the gene encodes for 549 amino acids with a calculated M(r) of 61,800 which is unexpectedly smaller than the size estimated by SDS-PAGE. Gene disruption experiment showed that CET1 is essential for yeast cell growth. The purified recombinant CET1 gene product, Cet1, exhibited an RNA 5'-triphosphatase activity which specifically removed the gamma-phosphate from the triphosphate-terminated RNA substrate, but not from nucleoside triphosphates, confirming the identity of the gene. Interaction between the Cet1 and the Ceg1 was also studied by the West-Western procedure using recombinant Ceg1-[32P]GMP as probe.     

Two Countermeasures Against Hardware Trojans Exploiting Non-Zero Aliasing Probability of BIST

The threat of hardware Trojans has been widely recognized by academia, industry, and government agencies. A Trojan can compromise security of a system in spite of cryptographic protection. The damage caused by a Trojan may not be limited to a business or reputation, but could have a severe impact on public safety, national economy, or national security. An extremely stealthy way of implementing hardware Trojans has been presented by Becker et al. at CHES’2012. Their work have shown that it is possible to inject a Trojan in a random number generator compliant with FIPS 140-2 and NIST SP800-90 standards by exploiting non-zero aliasing probability of Logic Built-In-Self-Test (LBIST). In this paper, we present two methods for modifying LBIST to prevent such an attack. The first method makes test patterns dependent on a configurable key which is programed into a chip after the manufacturing stage. The second method uses a remote test management system which can execute LBIST using a different set of test patterns at each test cycle.     

Spontaneous and induced minisatellite instability

Minisatellites provide not only the basis for DNA fingerprinting and DNA profiling but also extremely informative systems for analysing processes of tandem repeat turnover in the human genome. Minisatellite instability appears to involve distinct mutation processes in somatic and germline cells; in the germline, mutation is frequently dominated by inter-allelic conversion-like events most likely occurring at meiosis and apparently regulated by cis-acting mutation initiator elements. Attempts to define these initiators in transgenic mice have so far been thwarted by what appears to be a major human/mouse barrier to the inter-species transfer of repeat instability. Minisatellites not only show high frequency spontaneous mutation in the germline, but also appear to be very sensitive to mutation induction by ionizing radiation, both in experimentally irradiated mice and in human populations exposed following the Chernobyl disaster; the mechanisms of mutation induction by radiation remain enigmatic.     

Stage specificity, dose response, and doubling dose for mouse minisatellite germ-line mutation induced by acute radiation

Germ-line mutation induction at mouse minisatellite loci by acute irradiation with x-rays was studied at premeiotic and postmeiotic stages of spermatogenesis. An elevated paternal mutation rate was found after irradiation of premeiotic spermatogonia and stem cells, whereas the frequency of minisatellite mutation after postmeiotic irradiation of spermatids was similar to that in control litters. In contrast, paternal irradiation did not affect the maternal mutation rate. A linear dose-response curve for paternal mutation induced at premeiotic stages was found, with a doubling dose of 0.33 Gy, a value close to those obtained in mice after acute spermatogonia irradiation using other systems for mutation detection. High frequencies of spontaneous and induced mutations at minisatellite loci allow mutation induction to be evaluated at low doses of exposure in very small population samples, which currently makes minisatellite DNA the most powerful tool for monitoring radiation-induced germ-line mutation.     

Area-efficient high-coverage LBIST

Logic Built-In Self Test (LBIST) is a popular technique for applications requiring in-field testing of digital circuits. LBIST incorporates test generation and response-capture on-chip. It requires no interaction with a large, expensive tester. LBIST offers test time reduction due to at-speed test pattern application, makes possible test data re-usability at many levels, and enables test-ready IP. However, the traditional pseudo-random pattern-based LBIST often has a low test coverage. This paper presents a new method for on-chip generation of deterministic test patterns based on registers with non-linear update. Our experimental results on 7 real designs show that the presented approach can achieve a higher stuck-at coverage than the test point insertion with less area overhead. We also show that registers with non-linear update are asymptotically smaller than memories required to store the same test patterns in a compressed form.