Built-In Test Sequence Generation for Synchronous Sequential Circuits Based on Loading and Expansion of Test Subsequences

We describe an on-chip test generation scheme for synchronous sequential circuits that allows at-speed testing of such circuits. The proposed scheme is based on loading of (short) input sequences into an on-chip memory, and expansion of these sequences on-chip into test sequences. Complete coverage of modeled faults is achieved by basing the selection of the loaded sequences on a deterministic test sequence T 0, and ensuring that every fault detected by T 0 is detected by the expanded version of at least one loaded sequence. Experimental results presented for benchmark circuits show that the length of the sequence that needs to be stored at any time is on the average 10 % of the length of T 0, and that the total length of all the loaded sequences is on the average 46 % of the length of T 0. 1

Carotid-cavernous fistula as a mimicker of myasthenia gravis

BACKGROUND: A carotid-cavernous fistula (CCF) is an abnormal communication between the carotid arterial system and the cavernous sinus. Common symptoms of CCFs include proptosis and ophthalmoplegia, but fluctuating diplopia and presence of ptosis are not typical. CASE DESCRIPTION: We present an unusual case of CCF with fluctuating binocular diplopia and ptosis, mimicking myasthenia gravis. Electrodiagnostic testing, which included repetitive nerve stimulation and single-fiber electromyography, was normal. Magnetic resonance imaging of the brain and orbits was initially normal, but later magnetic resonance angiography revealed enlargement of the left superior ophthalmic vein along with a left CCF. Patient underwent a successful left cavernous sinus embolization. CONCLUSION: Fluctuating ophthalmic symptoms are a typical presentation of myasthenia gravis; however, there may be an association of these symptoms with a CCF. Repetitive nerve stimulation and single-fiber electromyography played a key role in diagnosis of this case, as the normal result led to further investigations revealing a CCF

Sarcoidosis presenting as Wallenberg syndrome and panuveitis

© 2018 The Authors Sarcoidosis is a multi-system disease with neurological involvement being one of the more rare manifestations. We report a case of a patient who presented with the lateral medullary syndrome and panuveitis as her initial manifestation of sarcoidosis. The patient\u27s course was further complicated by renal involvement. Lacrimal gland and renal biopsies showed noncaseating granulomas without evidence of infection, establishing the diagnosis. Intracranial vertebral artery involvement was confirmed by brain imaging. Bilateral hilar lymphadenopathy with upper lobe predominant nodules on chest imaging was consistent with asymptomatic pulmonary involvement. Systemic steroid therapy is indicated for treatment of ocular sarcoidosis, with standard stroke management indicated for the treatment of lateral medullary syndrome

On testing delay faults in macro-based combinational circuits

Abstract We consider the problem of testing for delay faults in macrobased circuits. Macro-based circuits are obtained as a result of technology mapping. Gate-level fault models cannot be used for such circuits, since the implementation of a macro may not have an accurate gate-level counterpart, or the macro implementation may not be known. Two delay fault models are proposed for macro-based circuits. The first model is analogous to the gatelevel gross delay fault model. The second model is analogous to the gate-level path delay fault model. We provide fault simulation procedures, and present experimental results

Constructing multiple unique input/output sequences using metaheuristic optimisation techniques

Multiple unique input/output sequences (UIOs) are often used to generate robust and compact test sequences in finite state machine (FSM) based testing. However, computing UIOs is NP-hard. Metaheuristic optimisation techniques (MOTs) such as genetic algorithms (GAs) and simulated annealing (SA) are effective in providing good solutions for some NP-hard problems. In the paper, the authors investigate the construction of UIOs by using MOTs. They define a fitness function to guide the search for potential UIOs and use sharing techniques to encourage MOTs to locate UIOs that are calculated as local optima in a search domain. They also compare the performance of GA and SA for UIO construction. Experimental results suggest that, after using a sharing technique, both GA and SA can find a majority of UIOs from the models under test

Distinguishing sequences for partially specified FSMs

Distinguishing Sequences (DSs) are used inmany Finite State Machine (FSM) based test techniques. Although Partially Specified FSMs (PSFSMs) generalise FSMs, the computational complexity of constructing Adaptive and Preset DSs (ADSs/PDSs) for PSFSMs has not been addressed. This paper shows that it is possible to check the existence of an ADS in polynomial time but the corresponding problem for PDSs is PSPACE-complete. We also report on the results of experiments with benchmarks and over 8 * 106 PSFSMs. © 2014 Springer International Publishing

Molecular Profiling of Neurons Based on Connectivity

The complexity and cellular heterogeneity of neural circuitry presents a major challenge to understanding the role of discrete neural populations in controlling behavior. While neuroanatomical methods enable high-resolution mapping of neural circuitry, these approaches do not allow systematic molecular profiling of neurons based on their connectivity. Here, we report the development of an approach for molecularly profiling projective neurons. We show that ribosomes can be tagged with a camelid nanobody raised against GFP and that this system can be engineered to selectively capture translating mRNAs from neurons retrogradely labeled with GFP. Using this system, we profiled neurons projecting to the nucleus accumbens. We then used an AAV to selectively profile midbrain dopamine neurons projecting to the nucleus accumbens. By comparing the captured mRNAs from each experiment, we identified a number of markers specific to VTA dopaminergic projection neurons. The current method provides a means for profiling neurons based on their projections

Isoforms of U1-70k control subunit dynamics in the human spliceosomal U1 snRNP

Most human protein-encoding genes contain multiple exons that are spliced together, frequently in alternative arrangements, by the spliceosome. It is established that U1 snRNP is an essential component of the spliceosome, in human consisting of RNA and ten proteins, several of which are post- translationally modified and exist as multiple isoforms. Unresolved and challenging to investigate are the effects of these post translational modifications on the dynamics, interactions and stability of the particle. Using mass spectrometry we investigate the composition and dynamics of the native human U1 snRNP and compare native and recombinant complexes to isolate the effects of various subunits and isoforms on the overall stability. Our data reveal differential incorporation of four protein isoforms and dynamic interactions of subunits U1-A, U1-C and Sm-B/B’. Results also show that unstructured post- ranslationally modified C-terminal tails are responsible for the dynamics of Sm-B/B’ and U1-C and that their interactions with the Sm core are controlled by binding to different U1-70k isoforms and their phosphorylation status in vivo. These results therefore provide the important functional link between proteomics and structure as well as insight into the dynamic quaternary structure of the native U1 snRNP important for its function.This work was funded by: BBSRC (OVM), BBSRC and EPSRC (HH and NM), EU Prospects (HH), European Science Foundation (NM), the Royal Society (CVR), and fellowship from JSPS and HFSP (YM and DAPK respectively)