scholarly journals Optimal Reduction of Number of Test Vectors for Soft Processor Cores Implemented in FPGA

Author(s):  
Mariusz Węgrzyn ◽  
Ernest Jamro ◽  
Agnieszka Dąbrowska-Boruch ◽  
Kazimierz Wiatr

This paper describes a new optimization methodology of testing vector sets reduction for testing of soft-processor cores and their individual blocks. The deterministic test vectors both for whole core and its individual blocks are investigated that significantly reduce the testing time and amount of test data that needs to be stored on the tester memory. The processor executes an assembler program which together with determined testing vectors ex-ercise its functionality. The new BIST methodology applicable at industrial testing of processor cores, diagnostics and dynamic reconfiguration of FPGA is proposed. This novel methodology combined with dynamic reconfiguration of FPGAs can be profitable applied for missions-critical i.e. FPGAs operate in space, or other difficult condition where are explore on radiation. Experimental results demonstrate that the proposed approach reduces many times testing time.

Electronics ◽  
2021 ◽  
Vol 10 (20) ◽  
pp. 2505
Author(s):  
Mariusz Węgrzyn ◽  
Ernest Jamro ◽  
Agnieszka Dąbrowska-Boruch ◽  
Kazimierz Wiatr

Testing FPGA-based soft processor cores requires a completely different methodology in comparison to standard processors. The stuck-at fault model is insufficient, as the logic is implemented by lookup tables (LUTs) in FPGA, and this SRAM-based LUT memory is vulnerable to single-event upset (SEU) mainly caused by cosmic radiations. Consequently, in this paper, we used combined SEU-induced and stuck-at fault models to simulate every possible fault. The test program written in an assembler was based on the bijective property. Furthermore, the fault detection matrix was determined, and this matrix describes the detectability of every fault by every test vector. The major novelty of this paper is the optimal reduction in the number of required test vectors in such a way that fault coverage is not reduced. Furthermore, this paper also studied the optimal selection of test vectors when only 95% maximal fault coverage is acceptable; in such a case, only three test vectors are required. Further, local and global test vector selection is also described.


2021 ◽  
Vol 9 (2) ◽  
pp. 18-34
Author(s):  
Abhishek Pandey ◽  
Soumya Banerjee

This article discusses the application of an improved version of the firefly algorithm for the test suite optimization problem. Software test optimization refers to optimizing test data generation and selection for structural testing criteria for white box testing. This will subsequently reduce the two most costly activities performed during testing: time and cost. Recently, various search-based approaches proved very interesting results for the software test optimization problem. Also, due to no free lunch theorem, scientists are continuously searching for more efficient and convergent methods for the optimization problem. In this paper, firefly algorithm is modified in a way that local search ability is improved. Levy flights are incorporated into the firefly algorithm. This modified algorithm is applied to the software test optimization problem. This is the first application of Levy-based firefly algorithm for software test optimization. Results are shown and compared with some existing metaheuristic approaches.


2021 ◽  
pp. 1-31
Author(s):  
Xueliang Lu ◽  
Luis San Andres ◽  
Jing Yang

Abstract Seals in multiple phase rotordynamic pumps must operate without compromising system efficiency and stability. Both field operation and laboratory experiments show that seals supplied with a gas in liquid mixture (bubbly flow) can produce rotordynamic instability and excessive rotor vibrations. This paper advances a nonhomogeneous bulk flow model (NHBFM) for the prediction of the leakage and dynamic force coefficients of uniform clearance annular seals lubricated with gas in liquid mixtures. Compared to a homogeneous BFM (HBFM), the current model includes diffusion coefficients in the momentum transport equations and a field equation for the transport of the gas volume fraction (GVF). Published experimental leakage and dynamic force coefficients for two seals supplied with an air in oil mixture whose GVF varies from 0 (pure liquid) to 20% serve to validate the novel model as well as to benchmark it against predictions from a HBFM. The first seal withstands a large pressure drop (~ 38 bar) and the shaft speed equals 7.5 krpm. The second seal restricts a small pressure drop (1.6 bar) as the shaft turns at 3.5 krpm. The first seal is typical as a balance piston whereas the second seal is found as a neck-ring seal in an impeller. For the high pressure seal and inlet GVF = 0.1, the flow is mostly homogeneous as the maximum diffusion velocity at the seal exit plane is just ~0.1% of the liquid flow velocity. Thus, both the NHBFM and HBFM predict similar flow fields, leakage (mass flow rate) and drag torque. The difference between the predicted leakage and measurement is less than 5%. The NHBFM direct stiffness (K) agrees with the experimental results and reduces faster with inlet GVF than the HBFM K. Both direct damping (C) and cross-coupled stiffness (k) increase with inlet GVF < 0.1.Compared to the test data, the two models generally under predict C and k by ~ 25%. Both models deliver a whirl frequency ratio (fw) ~ 0.3 for the pure liquid seal, hence closely matching the test data. fw raises to ~0.35 as the GVF approaches 0.1. For the low pressure seal the flow is laminar, the experimental results and both NHBFM and HBFM predict a null direct stiffness (K). At an inlet GVF = 0.2, the NHBFM predicted added mass (M) is ~30 % below the experimental result while the HBFM predicts a null M. C and k predicted by both models are within the uncertainty of the experimental results. For operation with either a pure liquid or a mixture (GVF = 0.2), both models deliver fw = 0.5 and equal to the experimental finding. The comparisons of predictions against experimental data demonstrate the NHBFM offers a marked improvement, in particular for the direct stiffness (K). The predictions reveal the fluid flow maintains the homogeneous character known at the inlet condition.


2020 ◽  
Vol 6 (4) ◽  
pp. 431-443
Author(s):  
Xiaolong Yang ◽  
Xiaohong Jia

AbstractWe present a simple yet efficient algorithm for recognizing simple quadric primitives (plane, sphere, cylinder, cone) from triangular meshes. Our approach is an improved version of a previous hierarchical clustering algorithm, which performs pairwise clustering of triangle patches from bottom to top. The key contributions of our approach include a strategy for priority and fidelity consideration of the detected primitives, and a scheme for boundary smoothness between adjacent clusters. Experimental results demonstrate that the proposed method produces qualitatively and quantitatively better results than representative state-of-the-art methods on a wide range of test data.


Author(s):  
Chris Holt ◽  
Luis San Andre´s ◽  
Sunil Sahay ◽  
Peter Tang ◽  
Gerry La Rue ◽  
...  

Measurements of casing acceleration on an automotive turbocharger running to a top speed of 115 krpm and driven by ambient temperature pressurized air are reported. Waterfall acceleration spectra versus rotor speed show the effects of increasing lubricant inlet pressure and temperature on the turbocharger rotordynamic response. A comprehensive analysis of the test data forwards regimes of speed operation with two subsynchronous whirl motions (rotordynamic instabilities). Increasing the lubricant feed pressure delays the onset speed of instability for the most severe subsynchronous motion. However, increasing the lubricant feed pressure also produces larger synchronous displacements. The effect of lubricant feed temperature is minimal on the onset and end speeds of rotordynamic instability. Nevertheless, operation with a cold lubricant exhibits lower amplitudes of motion, synchronous and subsynchronous. The experimental results show the subsynchronous frequencies of motion do not lock (whip) at system natural frequencies but continuously track the rotor speed. No instabilities (subsynchronous whirl) remain for operating speeds above 90 krpm. Bearings greatly influence turbocharger (TC) rotordynamic performance.


2013 ◽  
Vol 321-324 ◽  
pp. 739-742
Author(s):  
Yu Huang Zheng

Vacuum circuit breaker becomes more and more complicated, integrated, high-speed and intellectualized. To insure vacuum circuit breaker in its good conditions, the function of fault diagnosis gets more important than before in the process of repairing. This paper is addressed a model-based fault detection methodology for vacuum circuit breaker. At first, the dynamic model of vacuum circuit breaker is built. Secondly, DTW algorithm is introduced to compute the similarity value between the test data and the theoretical data. At last, the value comparison between the similarity and the threshold concludes whether a fault has occurred or the vacuum circuit breaker has potential hazardous effects. The experimental results show that this method is effective.


Author(s):  
Zhigang Wei ◽  
Limin Luo ◽  
Fulun Yang ◽  
Robert Rebandt

Fatigue design curve construction is commonly used for durability and reliability assessment of engineering components subjected to cyclic loading. A wide variety of design curve construction methods have been developed over the last decades. Some of the methods have been adopted by engineering codes and widely used in industry. However, the traditional design curve construction methods usually require significant amounts of test data in order for the constructed design curves to be consistently and reliably used in product design and validation. In order to reduce the test sample size and associated testing time and cost, several Bayesian statistics based design curve construction methods have been recently successfully developed by several research groups. Among all of these methods, an efficient Monte Carlo simulation based resampling method developed by the authors of this paper is of particular importance. The method is based on a large amount of reliable historical fatigue test data, the associated probabilistic distributions of the mean and standard deviation of the failure cycles, and an advanced acceptance-rejection resampling algorithm. However, finite element analysis (FEA) methods and a special stress recovery technique are required to process the test data, which is usually a time-consuming process. A more straightforward approach that does not require these intermediate processes is strongly preferred. This study presents such an approach, in which the only historical information needed is the distribution of the standard deviation of the cycles to failure. The distribution of the mean is directly calculated from the current tested data and the Central Limit Theorem. Neither FEA nor stress recovery technique is required for this approach, and the effort put into design curve construction can be significantly reduced. This method can be used to complement the previously developed Bayesian methods.


2015 ◽  
Vol 2015 ◽  
pp. 1-11 ◽  
Author(s):  
Saeed Shahrivari ◽  
Saeed Jalili

Enumerating all subgraphs of an input graph is an important task for analyzing complex networks. Valuable information can be extracted about the characteristics of the input graph using all-subgraph enumeration. Notwithstanding, the number of subgraphs grows exponentially with growth of the input graph or by increasing the size of the subgraphs to be enumerated. Hence, all-subgraph enumeration is very time consuming when the size of the subgraphs or the input graph is big. We propose a parallel solution namedSubenumwhich in contrast to available solutions can perform much faster. Subenum enumerates subgraphs using edges instead of vertices, and this approach leads to a parallel and load-balanced enumeration algorithm that can have efficient execution on current multicore and multiprocessor machines. Also, Subenum uses a fast heuristic which can effectively accelerate non-isomorphism subgraph enumeration. Subenum can efficiently use external memory, and unlike other subgraph enumeration methods, it is not associated with the main memory limits of the used machine. Hence, Subenum can handle large input graphs and subgraph sizes that other solutions cannot handle. Several experiments are done using real-world input graphs. Compared to the available solutions, Subenum can enumerate subgraphs several orders of magnitude faster and the experimental results show that the performance of Subenum scales almost linearly by using additional processor cores.


2010 ◽  
Vol 20-23 ◽  
pp. 641-646
Author(s):  
Zhong Liang Pan ◽  
Ling Chen

The crosstalk fault in VLSI circuits is one of the interference effects being caused by parasitic capacitance and inductance coupling, it can lead to functional errors of circuits. It is necessary to detect the crosstalk faults in order to insure the functions of circuits. A new test method for crosstalk faults in VLSI circuits based on multiple-valued decision diagrams is presented in this paper, the test vectors of crosstalk faults are generated by building a multiple-valued decision diagram that is a difference operation of the two multiple-valued decision diagrams corresponding to the normal circuit and faulty circuit, respectively. One advantage of the test method is that it can get all test vectors of a given crosstalk fault, therefore for a digital circuit, the test set with minimal number of test vectors can be obtained. Experimental results on a lot of digital circuits demonstrate the feasibility of the method proposed in this paper.


Sign in / Sign up

Export Citation Format

Share Document