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

DEFAUT DE PAIEMENT, COMPORTEMENT DE SAUVE-QUI-PEUT ET TRAITEMENT DES CREANCIERS

This article analyzes the economic effeciency of legal rules of bankruptcy. It aims to answer the following question : do the legal rules of bankruptcy allow an efficient solution to the problem of sauve-qui-peut or opportunistic behavior inherent in bankruptcy firm ? I adopt a model of games theory between two creditors. I define the condition of strategic behavior emergency and demonstrate who bears the cost. I analyze the impact of legal rules on the reduction of the strategic behavior. I demonstrate none of these rules of law is adequate to solve the problem of bankruptcy efficiently. I provide a new rule of contrat, and show how my analysis of the contrat infuence the strategic behavior

Role of Haptoglobin in Polycystic Ovary Syndrome (PCOS), Obesity and Disorders of Glucose Tolerance in Premenopausal Women

alleles of the haptoglobin α–chain polymorphism reduce the anti-oxidant properties and increase the pro-inflammatory actions of this acute-phase protein in a gene-dosage fashion. We hypothesized that the haptoglobin polymorphism might contribute to the increased oxidative stress and low-grade chronic inflammation frequently associated with polycystic ovary syndrome, obesity, and abnormalities of glucose tolerance.<0.001), yet no association was found between obesity and haptoglobin genotypes. No differences were observed in haptoglobin levels or genotype frequencies depending on glucose tolerance. Fifty percent of the variation in serum haptoglobin concentrations was explained by the variability in serum C-reactive protein concentrations, BMI, insulin sensitivity and haptoglobin genotypes. alleles suggests that the anti-oxidant and anti-inflammatory properties of haptoglobin may be reduced in these patients

Breast adenocarcinoma liver metastases, in contrast to colorectal cancer liver metastases, display a non-angiogenic growth pattern that preserves the stroma and lacks hypoxia

Although angiogenesis is a prerequisite for the growth of most human solid tumours, alternative mechanisms of vascularisation can be adopted. We have previously described a non-angiogenic growth pattern in liver metastases of colorectal adenocarcinomas (CRC) in which tumour cells replace hepatocytes at the tumour-liver interface, preserving the liver architecture and co-opting the sinusoidal blood vessels. The aim of this study was to determine whether this replacement pattern occurs during liver metastasis of breast adenocarcinomas (BC) and whether the lack of an angiogenic switch in such metastases is due to the absence of hypoxia and subsequent vascular fibrinogen leakage. The growth pattern of 45 BC liver metastases and 28 CRC liver metastases (73 consecutive patients) was assessed on haematoxylin- and eosin-stained tissue sections. The majority of the BC liver metastases had a replacement growth pattern (96%), in contrast to only 32% of the CRC metastases (P&lt;0.0001). The median carbonic anhydrase 9 (CA9) expression (M75 antibody), as a marker of hypoxia, (intensity x % of stained tumour cells) was 0 in the BC metastases and 53 in the CRC metastases (P&lt;0.0001). There was CA9 expression at the tumour-liver interface in only 16% of the BC liver metastases vs 54% of the CRC metastases (P=0.002). There was fibrin (T2G1 antibody) at the tumour-liver interface in only 21% of the BC metastases vs 56% of the CRC metastases (P=0.04). The median macrophage count (Chalkley morphometry; KP-1 anti-CD68 antibody) at the interface was 4.3 and 7.5, respectively (P&lt;0.0001). Carbonic anhydrase 9 score and macrophage count were positively correlated (r=0.42; P=0.002) in all metastases. Glandular differentiation was less in the BC liver metastases: 80% had less than 10% gland formation vs only 7% of the CRC metastases (P&lt;0.0001). The liver is a densely vascularised organ and can host metastases that exploit this environment by replacing the hepatocytes and co-opting the vasculature. Our findings confirm that a non-angiogenic pattern of liver metastasis indeed occurs in BC, that this pattern of replacement growth is even more prevalent than in CRC, and that the process induces neither hypoxia nor vascular leakage

High Acute Myeloid Leukemia derived VEGFA levels are associated with a specific vascular morphology in the leukemic bone marrow

Acute Myeloid Leukemia (AML) bone marrow biopsies at diagnosis display enhanced angiogenesis and increased VEGFA expression. In a xenograft mouse model it was described that availability of free VEGFA versus bound VEGFA is related to different vascular morphology. In this study we investigate the relationship between vascular morphology within AML bone marrow biopsies and AML derived VEGFA levels. Vessel count and surface area (Chalkley count) were calculated in AML bone marrow biopsies at diagnosis (n = 32), at remission (n = 8) and Normal Bone Marrow (n = 32) using immunohistochemical staining for FVIII, CD31, CTIV, SMA and VEGFA. VEGFA protein levels were measured. High vessel count was associated with an immature vessel status. Combining vessel count and Chalkley count different vessel morphology patterns were quantified within AML bone marrow biopsies. Three different subgroups could be distinguished. The subgroup (37.5% of the samples) exhibiting a high vessel count and vessels with predominantly large lumen (normal Chalkley count) was associated with high secreted VEGFA protein levels. Different vasculature patterns are seen in AML bone marrow biopsies, defined by combining number and size of vessel. These quantified morphology patterns, combined with VEGFA levels, might be of value in the success of VEGF/VEGFR-signaling interference approaches

Cognitive dysfunction in naturally occurring canine idiopathic epilepsy

Globally, epilepsy is a common serious brain disorder. In addition to seizure activity, epilepsy is associated with cognitive impairments including static cognitive impairments present at onset, progressive seizure-induced impairments and co-morbid dementia. Epilepsy occurs naturally in domestic dogs but its impact on canine cognition has yet to be studied, despite canine cognitive dysfunction (CCD) recognised as a spontaneous model of dementia. Here we use data from a psychometrically validated tool, the canine cognitive dysfunction rating (CCDR) scale, to compare cognitive dysfunction in dogs diagnosed with idiopathic epilepsy (IE) with controls while accounting for age. An online cross-sectional study resulted in a sample of 4051 dogs, of which n = 286 had been diagnosed with IE. Four factors were significantly associated with a diagnosis of CCD (above the diagnostic cut-off of CCDR ≥50): (i) epilepsy diagnosis: dogs with epilepsy were at higher risk; (ii) age: older dogs were at higher risk; (iii) weight: lighter dogs (kg) were at higher risk; (iv) training history: dogs with more exposure to training activities were at lower risk. Impairments in memory were most common in dogs with IE, but progression of impairments was not observed compared to controls. A significant interaction between epilepsy and age was identified, with IE dogs exhibiting a higher risk of CCD at a young age, while control dogs followed the expected pattern of low-risk throughout middle age, with risk increasing exponentially in geriatric years. Within the IE sub-population, dogs with a history of cluster seizures and high seizure frequency had higher CCDR scores. The age of onset, nature and progression of cognitive impairment in the current IE dogs appear divergent from those classically seen in CCD. Longitudinal monitoring of cognitive function from seizure onset is required to further characterise these impairments

Flow cytometric quantification of tumour endothelial cells; an objective alternative for microvessel density assessment

Assessment of microvessel density by immunohistochemical staining is subject to a considerable inter-observer variation, and this has led to variability in correlation between microvessel density and clinical outcome in different studies. In order to improve the method of microvessel density measurement in tumour biopsies, we have developed a rapid, objective and quantitative method using flow cytometry on frozen tissues. Frozen tissue sections of archival tumour material were enzymatically digested. The single-cell suspension was stained for CD31 and CD34 for flow cytometry. The number of endothelial cells was quantified using light scatter- and fluorescence-characteristics. Tumour endothelial cells were detectable in a single cell suspension, and the percentage of endothelial cells detected in 32 colon carcinomas correlated highly (r=0.84, P<0.001) with the immunohistochemical assessment of microvessel density. Flow cytometric endothelial cells quantification was found to be more sensitive especially at lower levels of immunohistochemical microvessel density measurement. The current method was found to be applicable for various tumour types and has the major advantage that it provides a retrospective and quantitative approach to the angiogenic potential of tumours

Inflammatory breast cancer shows angiogenesis with high endothelial proliferation rate and strong E-cadherin expression

status: publishe

HIV-1 Tat mimetic of VEGF correlates with increased microvessels density in AIDS-related diffuse large B-cell and Burkitt lymphomas

Angiogenic switch marks the beginning of tumor’s strategy to acquire independent blood supply. In some subtypes of non-Hodgkin’s lymphomas, higher local vascular endothelial growth factor (VEGF) expression correlates with increased microvessel density. However, this local VEGF expression is higher only in tumors with elevated expression of the receptors of the growth factor, suggesting an autocrine growth-promoting feedback loop. Several studies have indicated that VEGF receptors are also targeted by Tat protein from the HIV-1-infected cells. Given the similarity of the basic region of Tat to the angiogenic factors (basic fibroblast growth factor, VEGF), Tat mimics these proteins and binds to their receptors. We evaluated the role of HIV-1 Tat in regulating the level of VEGF expression and microvessel density in the AIDS-related diffuse large B-cell (DLBCL) and Burkitt lymphomas (BL). By luciferase assay, we showed that VEGF promoter activity was downregulated in vitro in cells transfected with Tat. Reduced VEGF protein expression in primary HIV-1 positive BL and DLBCL, compared to the negative cases, supported the findings of promoter downregulation from the cell lines. Microvascular density assessed by CD34 expression was, however, higher in HIV-1 positive than in HIV-1 negative tumors. These results suggest that Tat has a wider angiogenic role, besides the regulation of VEGF expression. Thus, targeting Tat protein itself and stabilizing transient silencing of VEGF expression or use of monoclonal antibodies against their receptors in the AIDS-associated tumors will open a window for future explorable pathways in the management of angiogenic phenotypes in the AIDS-associated non-Hodgkin’s lymphomas