33,639 research outputs found

    Analog Property Checkers: A Ddr2 Case Study

    Get PDF
    The formal specification component of verification can be exported to simulation through the idea of property checkers. The essence of this approach is the automatic construction of an observer from the specification in the form of a program that can be interfaced with a simulator and alert the user if the property is violated by a simulation trace. Although not complete, this lighter approach to formal verification has been effectively used in software and digital hardware to detect errors. Recently, the idea of property checkers has been extended to analog and mixed-signal systems. In this paper, we apply the property-based checking methodology to an industrial and realistic example of a DDR2 memory interface. The properties describing the DDR2 analog behavior are expressed in the formal specification language stl/psl in form of assertions. The simulation traces generated from an actual DDR2 interface design are checked with respect to the stl/psl assertions using the amt tool. The focus of this paper is on the translation of the official (informal and descriptive) specification of two non-trivial DDR2 properties into stl/psl assertions. We study both the benefits and the current limits of such approach

    System for monitoring and controlling unit operations that include distillation

    Get PDF
    Fluid sensor methods and systems adapted for monitoring and/or controlling distillation operations in fluidic systems, such as bath distillation operations or continuous distillation operations, are disclosed. Preferred embodiments are directed to process monitoring and/or process control for unit operations involving endpoint determination of a distillation, for example, as applied to a liquid-component-switching operation (e.g., a solvent switehing operation), a liquid-liquid separation operation, a solute concentration operation, a dispersed- phase concentration operation, among others

    Dependable Digitally-Assisted Mixed-Signal IPs Based on Integrated Self-Test & Self-Calibration

    Get PDF
    Heterogeneous SoC devices, including sensors, analogue and mixed-signal front-end circuits and the availability of massive digital processing capability, are being increasingly used in safety-critical applications like in the automotive, medical, and the security arena. Already a significant amount of attention has been paid in literature with respect to the dependability of the digital parts in heterogeneous SoCs. This is in contrast to especially the sensors and front-end mixed-signal electronics; these are however particular sensitive to external influences over time and hence determining their dependability. This paper provides an integrated SoC/IP approach to enhance the dependability. It will give an example of a digitally-assisted mixed-signal front-end IP which is being evaluated under its mission profile of an automotive tyre pressure monitoring system. It will be shown how internal monitoring and digitally-controlled adaptation by using embedded processors can help in terms of improving the dependability of this mixed-signal part under harsh conditions for a long time

    Realization of Analog Wavelet Filter using Hybrid Genetic Algorithm for On-line Epileptic Event Detection

    Get PDF
    © 2020 The Author(s). This open access work is licensed under a Creative Commons Attribution 4.0 License. For more information, see http://creativecommons.org/licenses/by/4.0/.As the evolution of traditional electroencephalogram (EEG) monitoring unit for epilepsy diagnosis, wearable ambulatory EEG (WAEEG) system transmits EEG data wirelessly, and can be made miniaturized, discrete and social acceptable. To prolong the battery lifetime, analog wavelet filter is used for epileptic event detection in WAEEG system to achieve on-line data reduction. For mapping continuous wavelet transform to analog filter implementation with low-power consumption and high approximation accuracy, this paper proposes a novel approximation method to construct the wavelet base in analog domain, in which the approximation process in frequency domain is considered as an optimization problem by building a mathematical model with only one term in the numerator. The hybrid genetic algorithm consisting of genetic algorithm and quasi-Newton method is employed to find the globally optimum solution, taking required stability into account. Experiment results show that the proposed method can give a stable analog wavelet base with simple structure and higher approximation accuracy compared with existing method, leading to a better spike detection accuracy. The fourth-order Marr wavelet filter is designed as an example using Gm-C filter structure based on LC ladder simulation, whose power consumption is only 33.4 pW at 2.1Hz. Simulation results show that the design method can be used to facilitate low power and small volume implementation of on-line epileptic event detector.Peer reviewe

    A 10-Gb/s two-dimensional eye-opening monitor in 0.13-μm standard CMOS

    Get PDF
    An eye-opening monitor (EOM) architecture that can capture a two-dimensional (2-D) map of the eye diagram of a high-speed data signal has been developed. Two single-quadrant phase rotators and one digital-to-analog converter (DAC) are used to generate rectangular masks with variable sizes and aspect ratios. Each mask is overlapped with the received eye diagram and the number of signal transitions inside the mask is recorded as error. The combination of rectangular masks with the same error creates error contours that overall provide a 2-D map of the eye. The authors have implemented a prototype circuit in 0.13-μm standard CMOS technology that operates up to 12.5 Gb/s at 1.2-V supply. The EOM maps the input eye to a 2-D error diagram with up to 68-dB mask error dynamic range. The left and right halves of the eyes are monitored separately to capture horizontally asymmetric eyes. The chip consumes 330 mW and operates reliably with supply voltages as low as 1 V at 10 Gb/s. The authors also present a detailed analysis that verifies if the measurements are in good agreement with the expected results

    Cooperative Wideband Spectrum Sensing Based on Joint Sparsity

    Get PDF
    COOPERATIVE WIDEBAND SPECTRUM SENSING BASED ON JOINT SPARSITY By Ghazaleh Jowkar, Master of Science A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science at Virginia Commonwealth University Virginia Commonwealth University 2017 Major Director: Dr. Ruixin Niu, Associate Professor of Department of Electrical and Computer Engineering In this thesis, the problem of wideband spectrum sensing in cognitive radio (CR) networks using sub-Nyquist sampling and sparse signal processing techniques is investigated. To mitigate multi-path fading, it is assumed that a group of spatially dispersed SUs collaborate for wideband spectrum sensing, to determine whether or not a channel is occupied by a primary user (PU). Due to the underutilization of the spectrum by the PUs, the spectrum matrix has only a small number of non-zero rows. In existing state-of-the-art approaches, the spectrum sensing problem was solved using the low-rank matrix completion technique involving matrix nuclear-norm minimization. Motivated by the fact that the spectrum matrix is not only low-rank, but also sparse, a spectrum sensing approach is proposed based on minimizing a mixed-norm of the spectrum matrix instead of low-rank matrix completion to promote the joint sparsity among the column vectors of the spectrum matrix. Simulation results are obtained, which demonstrate that the proposed mixed-norm minimization approach outperforms the low-rank matrix completion based approach, in terms of the PU detection performance. Further we used mixed-norm minimization model in multi time frame detection. Simulation results shows that increasing the number of time frames will increase the detection performance, however, by increasing the number of time frames after a number of times the performance decrease dramatically

    An ultra-fast digital diffuse optical spectroscopic imaging system for neoadjuvant chemotherapy monitoring

    Full text link
    Up to 20% of breast cancer patients who undergo presurgical (neoadjuvant) chemotherapy have no response to treatment. Standard-of-care imaging modalities, including MRI, CT, mammography, and ultrasound, measure anatomical features and tumor size that reveal response only after months of treatment. Recently, non-invasive, near-infrared optical markers have shown promise in indicating the efficacy of treatment at the outset of the chemotherapy treatment. For example, frequency domain Diffuse Optical Spectroscopic Imaging (DOSI) can be used to characterize the optical scattering and absorption properties of thick tissue, including breast tumors. These parameters can then be used to calculate tissue concentrations of chromophores, including oxyhemoglobin, deoxyhemoglobin, water, and lipids. Tumors differ in hemoglobin concentration, as compared with healthy background tissue, and changes in hemoglobin concentration during neoadjuvant chemotherapy have been shown to correlate with efficacy of treatment. Using DOSI early in treatment to measure chromophore concentrations may be a powerful tool for guiding neoadjuvant chemotherapy treatment. Previous frequency-domain DOSI systems have been limited by large device footprints, complex electronics, high costs, and slow acquisition speeds, all of which complicate access to patients in the clinical setting. In this work a new digital DOSI (dDOSI) system has been developed, which is relatively inexpensive and compact, allowing for use at the bedside, while providing unprecedented measurement speeds. The system builds on, and significantly advances, previous dDOSI setups developed by our group and, for the first time, utilizes hardware-integrated custom board-level direct digital synthesizers (DDS) and analog to digital converters (ADC) to generate and directly measure signals utilizing undersampling techniques. The dDOSI system takes high-speed optical measurements by utilizing wavelength multiplexing while sweeping through hundreds of modulation frequencies in tens of milliseconds. The new dDOSI system is fast, inexpensive, and compact without compromising accuracy and precision
    corecore