An Integrated CAD Methodology for Yield Enhancement of VLSI CMOS Circuits Including Statistical Device Variations

In this paper a novel CAD methodology for yield enhancement of VLSI CMOS circuits including random device variations is presented. The methodology is based on a preliminary characterization of the technological process by means of specific test chips for accurate mismatch modeling. To this purpose, a very accurate position-dependent parameter mismatch model has been formulated and extracted. Finally a CAD tool implementing this model has been developed. The tool is fully integrated in an environment of existing commercial tools and it has been experimented in the STMicroelectronics Flash Memory CAD Group.As an example of application, a bandgap reference circuit has been considered and the results obtained from simulations have been compared with experimental data. Furthermore, the methodology has been applied to the read path of a complex Flash Memory produced by STMicroelectronics, consisting of about 16,000 MOSFETs. Measurements of electrical performances have confirmed the validity of the methodology, and the accuracy of both the mismatch model and the simulation flow.     

On the intersubject generalization ability in extracting kinematic information from afferent nervous signals

In the recent past, many efforts have been carried out in order to evaluate the feasibility of implementing closed-loop controlled neuroprostheses based on the processing of sensory electroneurographic (ENG) signals. The success of these techniques mostly relies on the development of processing algorithms capable of extracting the necessary kinematic information from these signals. Soft-computing algorithms can be very useful when dealing with the complexity of the neuromuscular system because of their generalization ability and model-free structure. In this paper, these techniques were used to extract angular position information from the ENG signals recorded from muscle afferents in animal model using cuff electrodes. Specifically, a genetic algorithm-based dynamic nonsingleton fuzzy logic system (named GA-DNSFLS) was developed and tested on different types of angular trajectories (characterized by small or large angular excursions). In particular, two different Takagi-Sugeno-Kang (TSK)-like structures were used in the consequent part of the neuro-fuzzy model in order to verify which one could improve the generalization abilities (intrasubject and intersubject). The results showed that the GA-DNSFLS was able to reconstruct the trajectories giving interesting results in terms of correlation between the actual and the predicted trajectories for small excursion movements during intrasubject and intersubject tests. Particularly, one of the TSK models showed better results in terms of intersubject generalization. The simulations conducted with the large excursion movements led in some cases to interesting results but further experiments are necessary in order to analyze this point more in deep.     

TCP Performance in Optical Packet-switched Networks

Optical packet assembly is a key function to support inter-working between TCP/IP networks and optical packet-switched networks. It is characterized by the assembly delay and by the segment aggregation needed to form an optical packet. These counter-balancing aspects depend on several environment variables, such as the TCP parameters, the access link speed, the optical packet size whose effects are studied in this paper. Performance evaluations are obtained by extensive simulations in terms of send rate of TCP flows, fairness, efficiency, and assembly delay. Some guidelines in the design of optical packets that take into account the results presented are given.     

A new method for the analysis of integrated transmission lines

A flexible and efficient technique for the analysis of transmission lines is described. The transmission line is considered as the union of « elementary waveguides », where the medium is uniformly stratified. The modes are determined by matching the field at the interfaces using a procedure that leads to a linear eigenvalue problem involving a limited number of variables.     

Bioinspired Security Analysis of Wireless Protocols

Fraglets represent an execution model for communication protocols that resembles the chemical reactions in living organisms. The strong connection between their way of transforming and reacting and formal rewriting systems makes a fraglet program amenable to automatic verification. Grounded on past work, this paper investigates feasibility of adopting fraglets as model for specifying security protocols and analysing their properties. In particular, we give concrete sample analyses over a secure RFID protocol, showing evolution of the protocol run as chemical dynamics and simulating an adversary trying to circumvent the intended steps. The results of our analysis confirm the effectiveness of the cryptofraglets framework for the model and analysis of security properties and eventually show its potential to identify and uncover protocol flaws.     

Toward automatic phenotyping of developing embryos from videos.

We describe a trainable system for analyzing videos of developing C. elegans embryos. The system automatically detects, segments, and locates cells and nuclei in microscopic images. The system was designed as the central component of a fully automated phenotyping system. The system contains three modules 1) a convolutional network trained to classify each pixel into five categories: cell wall, cytoplasm, nucleus membrane, nucleus, outside medium; 2) an energy-based model, which cleans up the output of the convolutional network by learning local consistency constraints that must be satisfied by label images; 3) a set of elastic models of the embryo at various stages of development that are matched to the label images.     

Detection of vesicoureteral reflux using microwave radiometry-system characterization with tissue phantoms

Microwave (MW) radiometry is proposed for passive monitoring of kidney temperature to detect vesicoureteral reflux (VUR) of urine that is externally heated by a MW hyperthermia device and thereafter reflows from the bladder to kidneys during reflux. Here, we characterize in tissue-mimicking phantoms the performance of a 1.375 GHz radiometry system connected to an electromagnetically (EM) shielded microstrip log spiral antenna optimized for VUR detection. Phantom EM properties are characterized using a coaxial dielectric probe and network analyzer (NA). Power reflection and receive patterns of the antenna are measured in layered tissue phantom. Receiver spectral measurements are used to assess EM shielding provided by a metal cup surrounding the antenna. Radiometer and fiberoptic temperature data are recorded for varying volumes (10-30 mL) and temperaturesg (40-46°C) of the urine phantom at 35 mm depth surrounded by 36.5°C muscle phantom. Directional receive pattern with about 5% power spectral density at 35 mm target depth and better than -10 dB return loss from tissue load are measured for the antenna. Antenna measurements demonstrate no deterioration in power reception and effective EM shielding in the presence of the metal cup. Radiometry power measurements are in excellent agreement with the temperature of the kidney phantom. Laboratory testing of the radiometry system in temperature-controlled phantoms supports the feasibility of passive kidney thermometry for VUR detection.     

热湿存储环境下须状晶体的生长机理与影响因素

纯哑锡表面的晶须特性已经成为IC封装中无铅焊接工艺实施的主要影响因素之一。由于其它替代方法,例如预先在引脚上镀Ni/Pd/Au层,会导致成本无法预估以及可靠性下降等问题,因此,目前的关注点是进一步减少纯锡表面须状晶体的生长。     

Analysis of the Effect of the I/Q Base-Band Filter Mismatch in an OFDM Modem

In digital communication modems in which a very high rate system clock is used, it is necessary to use analog base-band shaping filters in the inphase (I) and quadrature (Q) paths of the modulator. However, this type of implementation inherently produces a mismatch of the I and Q paths. In the present paper, results of the analysis of the transmitter (TX) I/Q mismatch in an Orthogonal Frequency Division Multiplexing (OFDM) system with Differential Coherent Quadrature Phase Shift Keying (DQPSK) modulation is presented. Theoretical analysis shows that the Signal-to-Noise (SNR) degradation due to the I/Q mismatch can be represented by a mismatch transfer function on the basis of which one can compute the maximum affordable amplitude and phase mismatch of the TX filters transfer functions.     

A Versatile Identification Method Applied to Analysis of Respiratory Mechanics

A method for the straightforward estimation of the param eters in lumped continuous linear models of respiratory mechanics is presented in this paper. First, a discrete-time model is obtained from the samples of input-output data and then transformed into a conuous-time model.