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

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

Dissociable effects of 5-HT2C receptor antagonism and genetic inactivation on perseverance and learned non-reward in an egocentric spatial reversal task

Cognitive flexibility can be assessed in reversal learning tests, which are sensitive to modulation of 5-HT2C receptor (5-HT2CR) function. Successful performance in these tests depends on at least two dissociable cognitive mechanisms which may separately dissipate associations of previous positive and negative valence. The first is opposed by perseverance and the second by learned non-reward. The current experiments explored the effect of reducing function of the 5-HT2CR on the cognitive mechanisms underlying egocentric reversal learning in the mouse. Experiment 1 used the 5-HT2CR antagonist SB242084 (0.5 mg/kg) in a between-groups serial design and Experiment 2 used 5-HT2CR KO mice in a repeated measures design. Animals initially learned to discriminate between two egocentric turning directions, only one of which was food rewarded (denoted CS+, CS−), in a T- or Y-maze configuration. This was followed by three conditions; (1) Full reversal, where contingencies reversed; (2) Perseverance, where the previous CS+ became CS− and the previous CS− was replaced by a novel CS+; (3) Learned non-reward, where the previous CS− became CS+ and the previous CS+ was replaced by a novel CS-. SB242084 reduced perseverance, observed as a decrease in trials and incorrect responses to criterion, but increased learned non-reward, observed as an increase in trials to criterion. In contrast, 5-HT2CR KO mice showed increased perseverance. 5-HT2CR KO mice also showed retarded egocentric discrimination learning. Neither manipulation of 5-HT2CR function affected performance in the full reversal test. These results are unlikely to be accounted for by increased novelty attraction, as SB242084 failed to affect performance in an unrewarded novelty task. In conclusion, acute 5-HT2CR antagonism and constitutive loss of the 5-HT2CR have opposing effects on perseverance in egocentric reversal learning in mice. It is likely that this difference reflects the broader impact of 5HT2CR loss on the development and maintenance of cognitive function

A viscoelastic deadly fluid in carnivorous pitcher plants

Background : The carnivorous plants of the genus Nepenthes, widely distributed in the Asian tropics, rely mostly on nutrients derived from arthropods trapped in their pitcher-shaped leaves and digested by their enzymatic fluid. The genus exhibits a great diversity of prey and pitcher forms and its mechanism of trapping has long intrigued scientists. The slippery inner surfaces of the pitchers, which can be waxy or highly wettable, have so far been considered as the key trapping devices. However, the occurrence of species lacking such epidermal specializations but still effective at trapping insects suggests the possible implication of other mechanisms. Methodology/Principal Findings : Using a combination of insect bioassays, high-speed video and rheological measurements, we show that the digestive fluid of Nepenthes rafflesiana is highly viscoelastic and that this physical property is crucial for the retention of insects in its traps. Trapping efficiency is shown to remain strong even when the fluid is highly diluted by water, as long as the elastic relaxation time of the fluid is higher than the typical time scale of insect movements. Conclusions/Significance : This finding challenges the common classification of Nepenthes pitchers as simple passive traps and is of great adaptive significance for these tropical plants, which are often submitted to high rainfalls and variations in fluid concentration. The viscoelastic trap constitutes a cryptic but potentially widespread adaptation of Nepenthes species and could be a homologous trait shared through common ancestry with the sundew (Drosera) flypaper plants. Such large production of a highly viscoelastic biopolymer fluid in permanent pools is nevertheless unique in the plant kingdom and suggests novel applications for pest control

Characterising the phenotypic diversity of Papilio dardanus wing patterns using an extensive museum collection

The history of 20th Century evolutionary biology can be followed through the study of mimetic butterflies. From the initial findings of discontinuous polymorphism through the debates regarding the evolution of mimicry and the step-size of evolutionary change, to the studies on supergene evolution and molecular characterisation of butterfly genomes, mimetic butterflies have been at the heart of evolutionary thought for over 100 years. During this time, few species have received as much attention and in-depth study as Papilio dardanus. To assist all aspects of mimicry research, we present a complete data-derived overview of the extent of polymorphism within this species. Using historical samples permanently held by the NHM London, we document the extent of phenotypic variation and characterise the diversity present in each of the subspecies and how it varies across Africa. We also demonstrate an association between “imperfect” mimetic forms and the transitional race formed in the area where Eastern and Western African populations meet around Lake Victoria. We present a novel portal for access to this collection, www.mimeticbutterflies.org, allowing remote access to this unique repository. It is hoped that this online resource can act as a nucleus for the sharing and dissemination of other collections databases and imagery connected with mimetic butterflies

Selective Affimers Recognise the BCL‐2 Family Proteins BCL‐xL and MCL‐1 through Noncanonical Structural Motifs

The BCL‐2 family is a challenging group of proteins to target selectively due to sequence and structural homologies across the family. Selective ligands for the BCL‐2 family regulators of apoptosis are useful as probes to understand cell biology and apoptotic signalling pathways, and as starting points for inhibitor design. We have used phage display to isolate Affimer reagents (non‐antibody‐binding proteins based on a conserved scaffold) to identify ligands for MCL‐1, BCL‐xL, BCL‐2, BAK and BAX, then used multiple biophysical characterisation methods to probe the interactions. We established that purified Affimers elicit selective recognition of their target BCL‐2 protein. For anti‐apoptotic targets BCL‐xL and MCL‐1, competitive inhibition of their canonical protein‐protein interactions is demonstrated. Co‐crystal structures reveal an unprecedented mode of molecular recognition; where a BH3 helix is normally bound, flexible loops from the Affimer dock into the BH3 binding cleft. Moreover, the Affimers induce a change in the target proteins towards a desirable drug‐bound‐like conformation. These proof‐of‐concept studies indicate that Affimers could be used as alternative templates to inspire the design of selective BCL‐2 family modulators and more generally other protein‐protein interaction inhibitors

Heterogeneity of the humoral immune response following Staphylococcus aureus bacteremia

Expanding knowledge on the humoral immune response in Staphylococcus aureus-infected patients is a mandatory step in the development of vaccines and immunotherapies. Here, we present novel insights into the antibody responses following S. aureus bacteremia. Fifteen bacteremic patients were followed extensively from diagnosis onwards (median 29 days, range 9-74). S. aureus strains (median 3, range 1-6) and serial serum samples (median 16, range 6-27) were collected. Strains were genotyped by pulsed-field gel electrophoresis (PFGE) and genes encoding 19 staphylococcal proteins were detected by polymerase chain reaction (PCR). The levels of IgG, IgA, and IgM directed to these proteins were determined using bead-based flow cytometry. All strains isolated from individual patients were PFGE-identical. The genes encoding clumping factor (Clf) A, ClfB, and iron-responsive surface-determinant (Isd) A were detected in all isolates. Antigen-specific IgG levels increased more frequently than IgA or IgM levels. In individual patients, different proteins induced an immune response and the dynamics clearly differed. Anti-ClfB, anti-IsdH, and anti-fibronectin-binding protein A IgG levels increased in 7 of 13 adult patients (p < 0.05). The anti-IsdA IgG level increased in 12 patients (initial to peak level: 1.13-10.72 fold; p < 0.01). Peak level was reached 7-37 days after diagnosis. In a bacteremic 5-day-old newborn, antistaphylococcal IgG levels declined from diagnosis onwards. In conclusion, each bacteremic patient develops a unique immune response directed to different staphylococcal proteins. Therefore, vaccines should be based on multiple components. IsdA is immunogenic and, therefore, produced in nearly all bacteremic patients.

Markers of serotonergic function in the orbitofrontal cortex and dorsal raphé nucleus predict individual variation in spatial-discrimination serial reversal learning.

Dysfunction of the orbitofrontal cortex (OFC) impairs the ability of individuals to flexibly adapt behavior to changing stimulus-reward (S-R) contingencies. Impaired flexibility also results from interventions that alter serotonin (5-HT) and dopamine (DA) transmission in the OFC and dorsomedial striatum (DMS). However, it is unclear whether similar mechanisms underpin naturally occurring variations in behavioral flexibility. In the present study, we used a spatial-discrimination serial reversal procedure to investigate interindividual variability in behavioral flexibility in rats. We show that flexibility on this task is improved following systemic administration of the 5-HT reuptake inhibitor citalopram and by low doses of the DA reuptake inhibitor GBR12909. Rats in the upper quintile of the distribution of perseverative responses during repeated S-R reversals showed significantly reduced levels of the 5-HT metabolite, 5-hydroxy-indoleacetic acid, in the OFC. Additionally, 5-HT2A receptor binding in the OFC of mid- and high-quintile rats was significantly reduced compared with rats in the low-quintile group. These perturbations were accompanied by an increase in the expression of monoamine oxidase-A (MAO-A) and MAO-B in the lateral OFC and by a decrease in the expression of MAO-A, MAO-B, and tryptophan hydroxylase in the dorsal raphé nucleus of highly perseverative rats. We found no evidence of significant differences in markers of DA and 5-HT function in the DMS or MAO expression in the ventral tegmental area of low- vs high-perseverative rats. These findings indicate that diminished serotonergic tone in the OFC may be an endophenotype that predisposes to behavioral inflexibility and other forms of compulsive behavior.This work was supported by Medical Research Council Grants (G0701500; G0802729), a 503 Wellcome Trust Programme Grant (grant number 089589/Z/09/Z), and by a Core Award 504 from the Medical Research Council and the Wellcome Trust to the Behavioural and Clinical 505 21 Neuroscience Institute (MRC Ref G1000183; WT Ref 093875/Z/10/Z). RLB was supported 506 by a studentship from the Medical Research Council. JA was supported by a Fellowship from 507 the Swedish Research Council (350-2012-230). BJ was supported by Fellowships from the 508 AXA Research Fund and the National Health and Medical Research Council of Australia. 509 Financial support from the Fredrik and Ingrid Thuring Foundation is also acknowledged.This is the accepted manuscript. The final version is available from Nature Publishing at http://www.nature.com/npp/journal/vaop/ncurrent/full/npp2014335a.html

Differences in trait impulsivity indicate diversification of dog breeds into working and show lines

Impulsiveness describes the inability to inhibit behaviour in the presence of salient cues. Trait-level impulsivity exists on a continuum and individual differences can be adaptive in different contexts. While breed related differences in behavioural tendency in the domestic dog (Canis familiaris) are well established, the phenomenon within lines of a breed which have been selected more recently is not well studied, although it may challenge the popular notion of breed-typical behaviour. We describe differences in impulsivity between and within two dog breeds with working and show lines selected for different levels of impulsivity: Border Collies (herding work) and Labrador Retrievers (gun work). Recent show line selection might have lessened differences in impulsivity between breeds. We tested this hypothesis on a dataset of 1161 individuals assessed using a validated psychometric tool (Dog Impulsivity Assessment Scale - DIAS). Collies were more impulsive on average, consistent with the original purpose of breed selection. Regarding line, working Collies differed from working Labradors, but show lines from the two breeds were not significantly different. Altered or relaxed artificial selection for behavioural traits when appearance rather than behaviour become the primary focus for breeders may reduce average differences in impulsivity between breeds in show lines

Introduced Mammalian Predators Induce Behavioural Changes in Parental Care in an Endemic New Zealand Bird

The introduction of predatory mammals to oceanic islands has led to the extinction of many endemic birds. Although introduced predators should favour changes that reduce predation risk in surviving bird species, the ability of island birds to respond to such novel changes remains unstudied. We tested whether novel predation risk imposed by introduced mammalian predators has altered the parental behaviour of the endemic New Zealand bellbird (Anthornis melanura). We examined parental behaviour of bellbirds at three woodland sites in New Zealand that differed in predation risk: 1) a mainland site with exotic predators present (high predation risk), 2) a mainland site with exotic predators experimentally removed (low risk recently) and, 3) an off-shore island where exotic predators were never introduced (low risk always). We also compared parental behaviour of bellbirds with two closely related Tasmanian honeyeaters (Phylidonyris spp.) that evolved with native nest predators (high risk always). Increased nest predation risk has been postulated to favour reduced parental activity, and we tested whether island bellbirds responded to variation in predation risk. We found that females spent more time on the nest per incubating bout with increased risk of predation, a strategy that minimised activity at the nest during incubation. Parental activity during the nestling period, measured as number of feeding visits/hr, also decreased with increasing nest predation risk across sites, and was lowest among the honeyeaters in Tasmania that evolved with native predators. These results demonstrate that some island birds are able to respond to increased risk of predation by novel predators in ways that appear adaptive. We suggest that conservation efforts may be more effective if they take advantage of the ability of island birds to respond to novel predators, especially when the elimination of exotic predators is not possible

Heritability of DNA-damage-induced apoptosis and its relationship with age in lymphocytes from female twins

Apoptosis is a physiological form of cell death important in normal processes such as morphogenesis and the functioning of the immune system. In addition, defects in the apoptotic process play a major role in a number of important areas of disease, such as autoimmune diseases and cancer. DNA-damage-induced apoptosis plays a vital role in the maintenance of genomic stability by the removal of damaged cells. Previous studies of the apoptotic response (AR) to radiation-induced DNA damage of lymphoid cells from individuals carrying germline TP53 mutations have demonstrated a defective AR compared with normal controls. We have also previously demonstrated that AR is reduced as individuals age. Results from the current study on 108 twins aged 18–80 years confirm these earlier findings that the AR of lymphoid cells to DNA damage is significantly reduced with increasing age. In addition this twin study shows, for the first time, that DNA-damage-induced AR has a strong degree of heritability of 81% (95% confidence interval 67–89%). The vital role of DNA-damage-induced apoptosis in maintaining genetic stability, its relationship with age and its strong heritability underline the importance of this area of biology and suggest areas for further study