6,252 research outputs found

    E-QED: Electrical Bug Localization During Post-Silicon Validation Enabled by Quick Error Detection and Formal Methods

    Full text link
    During post-silicon validation, manufactured integrated circuits are extensively tested in actual system environments to detect design bugs. Bug localization involves identification of a bug trace (a sequence of inputs that activates and detects the bug) and a hardware design block where the bug is located. Existing bug localization practices during post-silicon validation are mostly manual and ad hoc, and, hence, extremely expensive and time consuming. This is particularly true for subtle electrical bugs caused by unexpected interactions between a design and its electrical state. We present E-QED, a new approach that automatically localizes electrical bugs during post-silicon validation. Our results on the OpenSPARC T2, an open-source 500-million-transistor multicore chip design, demonstrate the effectiveness and practicality of E-QED: starting with a failed post-silicon test, in a few hours (9 hours on average) we can automatically narrow the location of the bug to (the fan-in logic cone of) a handful of candidate flip-flops (18 flip-flops on average for a design with ~ 1 Million flip-flops) and also obtain the corresponding bug trace. The area impact of E-QED is ~2.5%. In contrast, deter-mining this same information might take weeks (or even months) of mostly manual work using traditional approaches

    Outbursts of EX Hydrae: mass-transfer events or disc instabilities?

    Get PDF
    We present the 45-yr record of the light curve of EX Hya, and discuss the characteristics of its 15 observed outbursts. We then concentrate on the 1998 outburst, reporting the first outburst X-ray observations. We discover an X-ray beat-cycle modulation, indicating that an enhanced accretion stream couples directly with the magnetosphere in outburst, confirming our previous prediction. Optical eclipse profiles late in outburst show that the visible light is dominated by an enhanced mass-transfer stream overflowing the accretion disc. We are uncertain whether the enhanced mass transfer is triggered by a disc instability, or by some other cause. While in outburst, EX Hya shows some of the characteristics of SW Sex stars

    Early-Onset Progressive Degeneration of the Area Centralis in RPE65-Deficient Dogs.

    Get PDF
    PURPOSE: Retinal epithelium-specific protein 65 kDa (RPE65)-deficient dogs are a valuable large animal model species that have been used to refine gene augmentation therapy for Leber congenital amaurosis type-2 (LCA2). Previous studies have suggested that retinal degeneration in the dog model is slower than that observed in humans. However, the area centralis of the dog retina is a cone and rod photoreceptor rich region comparable to the human macula, and the effect of RPE65 deficiency specifically on this retinal region, important for high acuity vision, has not previously been reported. METHODS: Spectral-domain optical coherence tomography, fundus photography, and immunohistochemistry of retinal wholemounts and sagittal frozen sections were used to define the time-course and cell-types affected in degeneration of the area centralis in affected dogs. RESULTS: Area centralis photoreceptor degeneration was evident from 6 weeks of age, and progressed to involve the inner retina. Immunohistochemistry showed that RPE65-deficient dogs developed early loss of S-cone outer segments, with slower loss of L/M-cone outer segments and rods. CONCLUSIONS: Early-onset severe photoreceptor degeneration in the area centralis of dogs with RPE65-deficiency offers a model of the early foveal/perifoveal degeneration in some patients with LCA2. This model could be used to refine interventions aiming to improve function and halt the progression of foveal/perifoveal photoreceptor degeneration

    Comparative uptake of fluoride ion into enamel from various topical fluorides in vitro

    Get PDF
    The document attached has been archived with permission from the Australian Dental Association (8 March 2008). An external link to the publisher’s copy is included.Background: There are many forms of topical fluoride available today, making the decision as to which is most effective to manage the immediate caries risk problem at hand, very difficult. The objective of this project was to determine the concentration and pattern of fluoride ion uptake into enamel from a variety of categories of topical fluoride recently available in Australia. Methods: Extracted, intact molar teeth were sectioned to provide six plates of smooth surface enamel. Windows of enamel 2 x 6mm were exposed to a variety of topical fluorides for periods simulating those used in vivo. Following drying, the slates of enamel were exposed to 2ml of 0.1M HCl as a chemical biopsy agent for incremental periods of time. The concentrations of fluoride ion in the biopsy solutions for both test and background (control) slates of enamel were determined directly using a fluoride combination selective electrode in conjunction with a high impedance pH meter. Cumulative amounts of fluoride were determined for each topical fluoride agent. Results: The concentrations of fluoride ion taken up into enamel were generally proportional to those present in each agent. However, those from APF gel greatly exceeded the amounts taken up from NaF gel. Also, the concentrations taken up from some of the highly concentrated metal fluorides were surprisingly low. Prior etching of enamel increased uptake and prolonged application of APF gel provided no extra benefit. Conclusions: Some topical fluorides, e.g., APF gel, provided a greatly increased uptake and to a greater depth than other self-application products. However, the frequency of its use should be considered with caution where patients have glassbased restorations.N Pai, J McIntyre, N Tadic and C Laparidi

    A calcium-sensing receptor mutation causing hypocalcemia disrupts a transmembrane salt bridge to activate β-arrestin-biased signaling

    Get PDF
    The calcium-sensing receptor (CaSR) is a G protein-coupled receptor (GPCR) that signals through Gq/11and Gi/oto stimulate cytosolic calcium (Ca2+i) and mitogen-activated protein kinase (MAPK) signaling to control extracellular calcium homeostasis. Studies of loss- and gain-of-functionCASRmutations, which cause familial hypocalciuric hypercalcemia type 1 (FHH1) and autosomal dominant hypocalcemia type 1 (ADH1), respectively, have revealed that the CaSR signals in a biased manner. Thus, some mutations associated with FHH1 lead to signaling predominantly through the MAPK pathway, whereas mutations associated with ADH1 preferentially enhance Ca2+iresponses. We report a previously unidentified ADH1-associated R680G CaSR mutation, which led to the identification of a CaSR structural motif that mediates biased signaling. Expressing CaSRR680Gin HEK 293 cells showed that this mutation increased MAPK signaling without altering Ca2+iresponses. Moreover, this gain of function in MAPK activity occurred independently of Gq/11and Gi/oand was mediated instead by a noncanonical pathway involving β-arrestin proteins. Homology modeling and mutagenesis studies showed that the R680G CaSR mutation selectively enhanced β-arrestin signaling by disrupting a salt bridge formed between Arg680and Glu767, which are located in CaSR transmembrane domain 3 and extracellular loop 2, respectively. Thus, our results demonstrate CaSR signaling through β-arrestin and the importance of the Arg680-Glu767salt bridge in mediating signaling bias

    Adaptive introgression underlies polymorphic seasonal camouflage in snowshoe hares

    Get PDF
    Snowshoe hares (Lepus americanus) maintain seasonal camouflage by molting to a white winter coat, but some hares remain brown during the winter in regions with low snow cover. We show that cis-regulatory variation controlling seasonal expression of the Agouti gene underlies this adaptive winter camouflage polymorphism. Genetic variation at Agouti clustered by winter coat color across multiple hare and jackrabbit species, revealing a history of recurrent interspecific gene flow. Brown winter coats in snowshoe hares likely originated from an introgressed black-tailed jackrabbit allele that has swept to high frequency in mild winter environments. These discoveries show that introgression of genetic variants that underlie key ecological traits can seed past and ongoing adaptation to rapidly changing environments. (c) The Authors, Some Rights Reserved

    Optimal sampling of MRI slices for the assessment of knee cartilage volume for cross-sectional and longitudinal studies

    Get PDF
    BACKGROUND: MRI slices of 1.5 mm thickness have been used in both cross sectional and longitudinal studies of osteoarthritis, but is difficult to apply to large studies as most techniques used in measuring knee cartilage volumes require substantial post-image processing. The aim of this study was to determine the optimal sampling of 1.5 mm thick slices of MRI scans to estimate knee cartilage volume in males and females for cross-sectional and longitudinal studies. METHODS: A total of 150 subjects had a sagittal T1-weighted fat-suppressed MRI scan of the right knee at a partition thickness of 1.5 mm to determine their cartilage volume. Fifty subjects had both baseline and 2-year follow up MRI scans. Lateral, medial tibial and patellar cartilage volumes were calculated with different samples from 1.5 mm thick slices by extracting one in two, one in three, and one in four to compare to cartilage volume and its rate of change. Agreement was assessed by means of intraclass correlation coefficient (ICC) and Bland & Altman plots. RESULTS: Compared to the whole sample of 1.5 mm thick slices, measuring every second to fourth slice led to very little under or over estimation in cartilage volume and its annual change. At all sites and subgroups, measuring every second slice had less than 1% mean difference in cartilage volume and its annual rate of change with all ICCs ≥ 0.98. CONCLUSION: Sampling alternate 1.5 mm thick MRI slices is sufficient for knee cartilage volume measurement in cross-sectional and longitudinal epidemiological studies with little increase in measurement error. This approach will lead to a substantial decrease in post-scan processing time
    • …
    corecore