Design for Consecutive Testability of System-on-a-Chip with Built-In Self Testable Cores

This paper introduces a new concept of testability called consecutive testability and proposes a design-for-testability method for making a given SoC consecutively testable based on integer linear programming problem. For a consecutively testable SoC, testing can be performed as follows. Test patterns of a core are propagated to the core inputs from test pattern sources (implemented either off-chip or on-chip) consecutively at the speed of system clock. Similarly the test responses are propagated to test response sinks (implemented either off-chip or on-chip) from the core outputs consecutively at the speed of system clock. The propagation of test patterns and responses is achieved by using interconnects and consecutive transparency properties of surrounding cores. All interconnects can be tested in a similar fashion. Therefore, it is possible to test not only logic faults but also timing faults that require consecutive application of test patterns at the speed of system clock since the consecutively testable SoC can achieve consecutive application of any test sequence at the speed of system clock.     

Synthesis of poly(α-thiophenediyl)benzylidene with high molecular weight and its thermal stability

Summary The synthesis of poly(-thiophenediyl)benzylidene (PTB) with high molecular weight is described. Number-average degrees of polymerization reached about 74. The characterizations of the polymer was investigated by ¹H-NMR, ¹³C-NMR, IR, and UV-VIS spectra. The polymer with well-defined structure and high molecular weight was obtained by polymerization at low temperature and in polar solvent. This polymer was thermally stable and a thermal decomposition took place at 391°C under nitrogen and at 370°C under air. The glass transformation temperature was 117°C and this PTB was nonfusible.     

MHz-driven snubberless zero-current soft-switching high step-up DC-DC converter with a multi-resonant tank

A novel high step-up DC-DC converter suitable for the power interface of fuel cells (FC) is presented in this paper. The proposed converter features a multi-resonant tank for achieving high-step up ratio under zero current soft switching (ZCS) without any snubber circuits. The simple and minimized-component topology is beneficial for megahertz driving of gallium nitride (GaN) power transistors with effective reductions of switching loss, electromagnetic emission interference (EMI) noise, and ripple-free DC input current. Mode-transitional power stages are described in detail, following that the high step-up principle is revealed by means of frequency-domain analysis. The essential performances of the proposed circuit topology are demonstrated by simulation and experiment of 1.8 MHz-120W prototype whereby effectiveness of the snubberless and multi-resonant topology are verified from the practical point of view.     

A Hilbert warping method for handwriting gesture recognition

We propose a novel sequence alignment algorithm for recognizing handwriting gestures by a camera. In the proposed method, an input image sequence is aligned to the reference sequences by phase-synchronization of analytic signals which are transformed from original feature values. A cumulative distance is calculated simultaneously with the alignment process, and then used for the classification. A major benefit of this method is that over-fitting to sequences of incorrect categories is restricted. The proposed method exhibited higher recognition accuracy in handwriting gesture recognition, compared with the conventional dynamic time warping method which explores optimal alignment results for all categories.     

Time‐averaged spatial profile of Xe excitation efficiency in PDPs

Abstract— The Xe excitation efficiency for various Xe content was analyzed by monitoring the panel luminance and IR emission intensity. It was found that dependences of the Xe excitation efficiency and luminous efficacy on the sustain voltage show almost the same tendency. A decrease for increasing sustaining voltage was found in a low‐Xe‐content panel and an increase was found in a high‐Xe‐content panel. A reduction in the effective electron temperature and a reduction in plasma saturation contribute to the efficacy improvement. The time‐averaged spatial profile of the Xe excitation efficiency in PDPs was investigated by measuring the distribution of IR and blue‐phosphor emissions. The results show that the Xe excitation efficiency is similar in the cathode and anode regions even though the spatial and time development of the discharge in these regions is very different. An extended theory that takes into account not only the radiative transition process but also the collisional de‐excitation process from Xe** to Xe* is proposed for investigating the pressure dependence of the Xe excitation efficiency. By using the proposed theory, it was found that Xe excitation efficiency increases, attains a maximum value at 30% Xe, then decreases as the Xe content is increased, when the rate coefficient of the collisional de‐excitation process is less than 1.0 × 10^?10 cm³/sec.     

Randomized constraint solvers: a comparative study

The complexity of constraints is a major obstacle for constraint-based software verification. Automatic constraint solvers are fundamentally incomplete: input constraints often build on some undecidable theory or some theory the solver does not support. This paper proposes and evaluates several randomized solvers to address this issue. We compared the effectiveness of a symbolic solver (CVC3), a random solver, two heuristic search solvers, and seven hybrid solvers (i.e. mix of random, symbolic, and heuristic solvers). We evaluated the solvers on a benchmark generated with a concolic execution of 9 subjects. The performance of each solver was measured by its precision, which is the fraction of constraints that the solver can find solution out of the total number of constraints that some solver can find solution. As expected, symbolic solving subsumes the other approaches for the 4 subjects that only generate decidable constraints. For the remaining 5 subjects, which contain undecidable constraints, the hybrid solvers achieved the highest precision (fraction of constraints that a solver can find a solution out of the total number of satisfiable constraints). We also observed that the solvers were complementary, which suggests that one should alternate their use in iterations of a concolic execution driver.     

Power savings and enhancement of gray‐scale capability of LCD TVs with an adaptive dimming technique

Abstract— The luminance of a backlight unit for an LCD TV is adaptively and locally dimmed along with the input video signal in order to reduce the power consumption and also to improve the picture quality. By adopting the zero‐dimensional (0D), 1D, and 2D adaptive dimming techniques, a sample movie having 8.0% post‐gamma average picture levels (APL) could be displayed using 83%, 71%, and 50% of the original backlight power, respectively. For an adoption of the 2D dimming, an LED backlight is preferable. The adaptive‐dimming technique also allows the differential aging characteristics between the LED components and temperature dependence of color and luminance to be overcome. From simulations of a reduction in power consumption, it was found that 40 × 40 pixels is a unit of the local dimming, 30 frames for the sampling period, 24 dimming steps, and an equal‐signal‐step method for determining the dimming factor have been found to be appropriate. The gray‐scale capability of low‐luminance images can also be improved by dimming the backlight luminance and expanding the input signal. By using an LCD TV having an 8‐bit capability, an 11‐bit‐equivalent gray‐scale expression was experimentally proven.     

Selective deposition on block copolymer film by thermal evaporation of silver

Selective deposition of Ag onto nanostructured block copolymer film template of poly(ethylene oxide) and poly(methacrylate) with azobenzene mesogen (PEO-b-PMA(Az)) has been done by thermal evaporation technique. A hexagonally arranged pattern or ordered strip structure of the PEO nanocylinders dispersed in the PMA(Az) matrix appears on the pure copolymer film surface after thermal annealing at 140 °C or 110 °C, respectively. Atomic force microscopy confirms that the deposited Ag atoms prefer to wet PMA(Az) matrix domains on the film surface, and finally aggregate into discrete nanoparticles in both cases. An ordered porous metallic layer is created on the hexagonally patterned copolymer template surface due to the preferential interaction of Ag toward the PMA(Az) phase. Alternatively, ordered array of metallic chains is formed on the template featured with strip structure. While the nominal layer thickness of the deposited Ag is 50 nm, the ordered metallic nanostructure disappears, indicating the host copolymer template cannot guide the spatial distribution of the deposited metal any more.