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

Trojans in Early Design Steps—An Emerging Threat

Hardware Trojans inserted by malicious foundries during integrated circuit manufacturing have received substantial attention in recent years. In this paper, we focus on a different type of hardware Trojan threats: attacks in the early steps of design process. We show that third-party intellectual property cores and CAD tools constitute realistic attack surfaces and that even system specification can be targeted by adversaries. We discuss the devastating damage potential of such attacks, the applicable countermeasures against them and their deficiencies

Digital detection of exosomes by interferometric imaging

Exosomes, which are membranous nanovesicles, are actively released by cells and have been attributed to roles in cell-cell communication, cancer metastasis, and early disease diagnostics. The small size (30–100 nm) along with low refractive index contrast of exosomes makes direct characterization and phenotypical classification very difficult. In this work we present a method based on Single Particle Interferometric Reflectance Imaging Sensor (SP-IRIS) that allows multiplexed phenotyping and digital counting of various populations of individual exosomes (>50 nm) captured on a microarray-based solid phase chip. We demonstrate these characterization concepts using purified exosomes from a HEK 293 cell culture. As a demonstration of clinical utility, we characterize exosomes directly from human cerebrospinal fluid (hCSF). Our interferometric imaging method could capture, from a very small hCSF volume (20 uL), nanoparticles that have a size compatible with exosomes, using antibodies directed against tetraspanins. With this unprecedented capability, we foresee revolutionary implications in the clinical field with improvements in diagnosis and stratification of patients affected by different disorders.This work was supported by Regione Lombardia and Fondazione Cariplo through POR-FESR, project MINER (ID 46875467); Italian Ministry of Health, Ricerca Corrente. This work was partially supported by The Scientific and Technological Research Council of Turkey (grant #113E643). (Regione Lombardia; 46875467 - Fondazione Cariplo through POR-FESR, project MINER; Italian Ministry of Health, Ricerca Corrente; 113E643 - Scientific and Technological Research Council of Turkey)Published versio

Proteome-based plasma biomarkers for Alzheimer's disease

Alzheimer's disease is a common and devastating disease for which there is no readily available biomarker to aid diagnosis or to monitor disease progression. Biomarkers have been sought in CSF but no previous study has used two-dimensional gel electrophoresis coupled with mass spectrometry to seek biomarkers in peripheral tissue. We performed a case-control study of plasma using this proteomics approach to identify proteins that differ in the disease state relative to aged controls. For discovery-phase proteomics analysis, 50 people with Alzheimer's dementia were recruited through secondary services and 50 normal elderly controls through primary care. For validation purposes a total of 511 subjects with Alzheimer's disease and other neurodegenerative diseases and normal elderly controls were examined. Image analysis of the protein distribution of the gels alone identifies disease cases with 56% sensitivity and 80% specificity. Mass spectrometric analysis of the changes observed in two-dimensional electrophoresis identified a number of proteins previously implicated in the disease pathology, including complement factor H (CFH) precursor and α-2-macroglobulin (α- 2M). Using semi-quantitative immunoblotting, the elevation of CFH and α- 2M was shown to be specific for Alzheimer's disease and to correlate with disease severity although alternative assays would be necessary to improve sensitivity and specificity. These findings suggest that blood may be a rich source for biomarkers of Alzheimer's disease and that CFH, together with other proteins such as α- 2M may be a specific markers of this illness. © 2006 The Author(s).link_to_subscribed_fulltex

Design and simulation of a multi-function MEMS sensor for health and usage monitoring.

Health and usage monitoring as a technique for online test, diagnosis or prognosis of structures and systems has evolved as a key technology for future critical systems. The technology, often referred to as HUMS is usually based around sensors that must be more reliable than the system or structure they are monitoring. This paper proposes a fault tolerant sensor architecture and demonstrates the feasibility of realising this architecture through the design of a dual mode humidity/pressure MEMS sensor with an integrated temperature function. The sensor has a simple structure, good linearity and sensitivity, and the potential for implementation of built-in-self-test features. We also propose a re-configurable sensor network based on the multi-functional sensor concept that supports both normal operational and fail safe modes. The architecture has the potential to significantly increase system reliability and supports a reduction in the number of sensors required in future HUMS devices. The technique has potential in a wide range of applications, especially within wireless sensor networks

Validation of machine learning models to detect amyloid pathologies across institutions.

Semi-quantitative scoring schemes like the Consortium to Establish a Registry for Alzheimer's Disease (CERAD) are the most commonly used method in Alzheimer's disease (AD) neuropathology practice. Computational approaches based on machine learning have recently generated quantitative scores for whole slide images (WSIs) that are highly correlated with human derived semi-quantitative scores, such as those of CERAD, for Alzheimer's disease pathology. However, the robustness of such models have yet to be tested in different cohorts. To validate previously published machine learning algorithms using convolutional neural networks (CNNs) and determine if pathological heterogeneity may alter algorithm derived measures, 40 cases from the Goizueta Emory Alzheimer's Disease Center brain bank displaying an array of pathological diagnoses (including AD with and without Lewy body disease (LBD), and / or TDP-43-positive inclusions) and levels of Aβ pathologies were evaluated. Furthermore, to provide deeper phenotyping, amyloid burden in gray matter vs whole tissue were compared, and quantitative CNN scores for both correlated significantly to CERAD-like scores. Quantitative scores also show clear stratification based on AD pathologies with or without additional diagnoses (including LBD and TDP-43 inclusions) vs cases with no significant neurodegeneration (control cases) as well as NIA Reagan scoring criteria. Specifically, the concomitant diagnosis group of AD + TDP-43 showed significantly greater CNN-score for cored plaques than the AD group. Finally, we report that whole tissue computational scores correlate better with CERAD-like categories than focusing on computational scores from a field of view with densest pathology, which is the standard of practice in neuropathological assessment per CERAD guidelines. Together these findings validate and expand CNN models to be robust to cohort variations and provide additional proof-of-concept for future studies to incorporate machine learning algorithms into neuropathological practice