No abstract

Abstract. We present a new diagnostic algorithm, based on backward-propagation, for localising design errors in combinational logic circuits. Three hypotheses are considered, that cover all single gate replacement and insertion errors. Diagnosis-oriented test patterns are generated in order to rapidly reduce the suspected area where the error lies. The originality of our method is the use of patterns which do not detect the error, in addition to detecting patterns. A theorem shows that, in favourable cases, only two patterns suffice to get a correction. We have implemented the test generation and diagnosis algorithms. Results obtained on benchmarks show that the error is always found, after the application of a small number of test patterns, with an execution time proportional to the circuit size.

No abstract

We present a new diagnostic algorithm for localising design errors in sequential circuits. The specification and the implementation may have different number of state variables, and different state encoding. The algorithm is based on the new concept of possible next states describing the possible states of the circuit due to the existence of the error. Results obtained on benchmark circuits show that the error is always found, with an execution time proportional to the product of the circuit size, and the length of the test sequences used.

In these days, smartphones become much more used than the personal computers because of the various categories of applications downloadable from the store. The vendors of smartphones support different platforms hence to reach as many users as possible, the developer has to develop the same application for all these platforms using the different tools and programming languages provided by each platform vendor. Therefore the cross-platform mobile applications development solutions were introduced to develop the application once and run it everywhere. The cross-platform solutions use different approaches for native development such as cross-compilation, Model-Driven Development ... etc. None of these approaches claim that it provides a complete solution as they are still under research and development. This paper introduces a new integrated cross-platform mobile development solution that merges between different approaches to benefit from the advantages and minimize the drawbacks of each approach. The main contributions include: explore the approaches used in designing the new solution, explain the research methodology and the new solution architecture along with the implementation, and evaluate the limitations of the new proposed architecture and implementation compared to known solutions. The results show substantial improvement over existing solutions.