The design and verification of FPGA CAD toolset

This paper introduces a complete CAD toolset for the implementation of digital logic in a Field-Programmable Gate Array (FPGA) platform. Compared with existing academic toolsets, this toolset introduces formal verification in each step of the tool flow, especially the formal verification of the configuration bitstream. The FPGA CAD tool verification flow using Formality is presented in detail. Using plug-in technology, we have developed an integrated FPGA design kit to incorporate all tools together.

Design and Verification of the Programming Circuit in an Application-Specific FPGA

In this paper we present a methodology and its implementation for the design and verification of programming circuit used in a family of application-specific FPGAs that share a common architecture. Each member of the family is different either in the types of functional blocks contained or in the number of blocks of each type. The parametrized design methodology is presented here to achieve this goal. Even though our focus is on the programming circuitry that provides the interface between the FPGA core circuit and the external programming hardware, the parametrized design method can be generalized to the design of entire chip for all members in the FPGA family. The method presented here covers the generation of the design RTL files and the support files for synthesis, place-and-route layout and simulations. The proposed method is proven to work smoothly within the complete chip design methodology. We will describe the implementation of this method to the design of the programming circuit in details including the design flow from the behavioral-level design to the final layout as well as the verification. Different package options and different programming modes are included in the description of the design. The circuit design implementation is based on SMIC 0.13-micron CMOS technology.

Verification of a scaling law in few-cycle laser pulses

The scaling law of photoionization in few-cycle laser pulses is verified in this paper. By means of numerical solution of time-dependent Schrodinger equation, the photoionization and the asymmetry degree of photoionization of atoms with different binding potential irradiated by various laser pulses are studied. We find that the effect of increasing pulse intensity is compensated by deepening the atomic binding potential. In order to keep the asymmetric photoionization unchanged, if the central frequency of the pulse is enlarged by k times, the atomic binding potential should also be enlarged by k times, and the laser intensity should be enlarged by k(3) times. (c) 2005 Optical Society of America.

The design algorithm of an associative memory neural network

A design algorithm of an associative memory neural network is proposed. The benefit of this design algorithm is to make the designed associative memory model can implement the hoped situation. On the one hand, the designed model has realized the nonlinear association of infinite value pattern from n dimension space to m dimension space. The result has improved the ones of some old associative memory neural network. On the other hand, the memory samples are in the centers of the fault-tolerant. In average significance the radius of the memory sample fault-tolerant field is maximum.

Application of ICA in on-line verification of the phase difference of the current sensor

The performance of the current sensor in power equipment may become worse affected by the environment. In this paper, based on ICA, we propose a method for on-line verification of the phase difference of the current sensor. However, not all source components are mutually independent in our application. In order to get an exact result, we have proposed a relative likelihood index to choose an optimal result from different runs. The index is based on the maximum likelihood evaluation theory and the independent subspace analysis. The feasibility of our method has been confirmed by experimental results.

Application of ICA in on-line verification of the phase difference of the current sensor

The performance of the current sensor in power equipment may become worse affected by the environment. In this paper, based on ICA, we propose a method for on-line verification of the phase difference of the current sensor. However, not all source components are mutually independent in our application. In order to get an exact result, we have proposed a relative likelihood index to choose an optimal result from different runs. The index is based on the maximum likelihood evaluation theory and the independent subspace analysis. The feasibility of our method has been confirmed by experimental results.

Verification of EL2 electronic absorption effect on charge transfer in semi-insulating GaAs

The electronic absorption of EL2 centers has been clarified to be related to the electron acid hole photoionizations, and the transition from its ground state to metastable state, respectively. Under an illumination with a selected photon energy in the near infrared region, these three processes with different optical cross sections will show different kinetics against the illumination time. It has recently been shown that the photosensitivity (measured under 1.25 eV illumination) of the local vibrational mode absorption induced by some deep defect centers in SI-GaAs is a consequence of the electron and hole photoionizations of EL2. This paper directly measures the kinetics of the electronic transition associated with EL2 under 1.25 eV illumination, which implies the expected charge transfer among different charge states of the EL2 center. A calculation based on a simple rate equation model is in good agreement with the experimental results.

Design Study of a Heavily Loaded Ice Class Propeller Using an Advance Panel Method

A design and optimization procedure developed and used for a propeller installed on a twin-semitunnel-hull ship navigating in very shallow and icy water under heavy load conditions is presented. The base propeller for this vessel was first determined using classic design routines under open-water condition with existing model test data. In the optimization process, a panel method code (PROPELLA) was used to vary the pitch values and distributions and take into account the inflow wake distribution, tunnel gap, and cavitation effects. The optimized propeller was able to improve a ship speed of 0.02 knots higher than the desired speed and 0.06 knots higher than the classic B-series propeller. The analysis of the effect of inflow wake, hull tunnel, cavitation, and blade rake angle on propulsive performance is the focus of this paper.

Experimental verification of therapeutic doses for the superficially-placed tumor radiotherapy with heavy ions at HIRFL

Up to now, clinical trials of heavy-ion radiotherapy for superficially placed tumors have been carried out for six times and over 60 selected patients have been treated with 80—100 MeV/u carbon ions supplied by the Heavy Ion Research Facility in Lanzhou (HIRFL) at the Institute of Modern Physics, Chinese Academy of Sciences since November, 2006. A passive irradiation system and a dose optimization method for radiotherapy with carbon-ion beams have been developed. Experimental verification of longitudinally ...

Capability verification of the beam delivery system in the superficially-placed tumor therapy terminal at HIRFL

The passive beam delivery system in the superficially-placed tumor therapy terminal at Heavy Ion Researc h Facility in Lanzhou (HIRFL), which includes two orthogonal dipole magnets as scanning system, a motor-driven energy degrader as range-shifter, series of ridge filters as range modulator and a multileaf collimator, is introduced in detail. The capacities of its important components and the whole system have been verified experimentally. The tests of the ridge filter for extending Bragg peak and the range shifter for energy adjustment show both work well. To examine the passive beam delivery system, a beam shaping experiment were carried out, simulating a three-dimensional (3D) conformal irradiation to a tumor. The encouraging experimental result confirms that 3D layer-stacking conformal irradiation can be performed by means of the passive system. The validation of the beam delivery system establishes a substantial basis for upcoming clinical trial for superficially-placed tumors with heavy ions in the therapy terminal at HIRFL.

Design optimization of the APF DTL in the SSC-linac

A linear accelerator as a new injector for the SSC (Separated Sector Cyclotron) of the HIRFL (Heavy ton Research Facility Lanzhou) is being designed. The DTL (Drift-Tube-Linac) has been designed to accelerate U-238(34+) from 0.140 MeV/u to 0.97 MeV/u. To the first accelerating tank which accelerates U-238(34+) to 0.54 MeV/u, the approach of Alternating-Phase-Focusing (APF) is applied. The phase array is obtained by coupling optimization software Dakota and beam optics code LINREV. With the hybrid of Multi-objective Genetic Algorithm (MOGA) and a pattern search method, an optimum array of asynchronous phases is determined. The final growth, both transversely and longitudinally, can meet the design requirements. In this paper, the deign optimization of the APF DTL is presented.

Numerical verification for instrumented spherical indentation techniques in determining the plastic properties of materials

 Instrumented indentation tests have been widely adopted for elastic modulus determination. Recently, a number of indentation-based methods for plastic properties characterization have been proposed, and rigorous verification is absolutely necessary for their wide application. In view of the advantages of spherical indentation compared with conical indentation in determining plastic proper-ties, this study mainly concerns verification of spherical indentation methods. Five convenient and simple models were selected for this purpose, and numerical experiments for a wide range of materials are carried out to identify their accuracy and sensitivity characteristics. The verification results show that four of these five methods can give relatively accurate and stable results within a certain material domain, which is defined as their validity range and has been summarized for each method.

Design and application of three-zone annular filters

We design three-zone annular filters to be applied to optical storage system. The designed filters extend the depth of focus and realize transverse superresolution simultaneously, which will improve the performance of optical storage system greatly. And we propose two feasible schemes to improve imaging resolution of three-dimensional imaging system. One scheme depends on a complex filter formed by cascading of a three-zone phase filter and a three-zone amplitude filter. The complex filter converge the optimized transverse superresolution and the optimized axial superresolution of two different filters onto a single filter. It can improve the three-dimensional imaging performances greatly. Another scheme depends on a single three-zone complex filter. We propose a three-zone complex filter with phase shift 0.8 pi, which presents bigger design margin, better imaging quality and stronger three-dimensional superresolution capability. (c) 2006 Elsevier GmbH. All rights reserved.