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

Value of Emergent Neurovascular Imaging for Seat Belt Injury : A Multi-institutional Study

BACKGROUND AND PURPOSE: Screening for blunt cerebrovascular injury in patients after motor vehicle collision (MVC) solely based on the presence of cervical seat belt sign has been debated in the literature without consensus. Our aim was to assess the value of emergent neurovascular imaging in patients after an MVC who present with a seat belt sign through a large-scale multi-institutional study. MATERIALS AND METHODS: The electronic medical records of patients admitted to the emergency department with CTA/MRAs performed with an indication of seat belt injury of the neck were retrospectively reviewed at 5 participating institutions. Logistic regression analysis was used to determine the association among age, sex, and additional trauma-related findings with blunt cerebrovascular injury. RESULTS: Five hundred thirty-five adult and 32 pediatric patients from June 2003 until March 2020 were identified. CTA findings were positive in 12/567 (2.1%) patients for the presence of blunt cerebrovascular injury of the vertebral ( CONCLUSIONS: The risk of vascular injury in the presence of the cervical seat belt sign is small, and most patients diagnosed with blunt cerebrovascular injury have other associated findings. Therefore, CTA based solely on this sign has limited value (3/567 =  a 0.5% positivity rate). We suggest that in the absence of other clinical findings, the seat belt sign does not independently justify neck CTA in patients after trauma

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