The ASIC design flow is rapidly moving towards higher description levels, and most design activities are now performed at the RT-level. However, test-related activities are lacking behind this trend, mainly since effective fault models and test pattern generation tools are still missing. This paper proposes techniques for implementing a high-level ATPG. The proposed algorithm mixes a code cover...

We present a method for automatically generating test sequences to satisfy MC/DC like structural coverage criteria of software behavioral models specified in state-based formalisms. The use of temporal logic for characterizing test criteria and the application of model-checking techniques for generating test sequences to those criteria have been of interest in software verification research for...

in responses to norheim’s editorial, this commentary offers reflections from thailand, how the five unacceptable trade-offs were applied to the universal health coverage (uhc) reforms between 1975 and 2002 when the whole 64 million people were covered by one of the three public health insurance systems. this commentary aims to generate global discussions on how best uhc can be gradually achieve...

A “black water” event, as observed from satellites, occurred off southwest Florida in 2012. Satellite observations suggested that the event started in early January and ended in mid-April 2012. The black water patch formed off central west Florida and advected southward towards Florida Bay and the Florida Keys with the shelf circulation, which was confirmed by satellite-tracked surface drifter ...

Fault diagnosis in the presence of noise and model errors is of fundamental importance. In the paper, the meaning of fault isolation performance is formalized by using the established notion of coverage and false coverage from the field of statistics. Then formal relations describing the relationship between fault isolation performance and the residual related design parameters are derived. For...

In many real-world applications, a mission may consist of several different tasks or phases that have to be accomplished in sequence. Such systems are referred to as phased-mission systems (PMS). In this paper we consider the demand-based PMS with parallel structure, where the system components function in parallel with different capacities in each phase of the mission and the mission is succes...

The mobile communication is nowadays one of the basic needs of humanity. It is essential to the flourishing of human beings. Considering this reality, the need to use its mobile phone is become more important and diversified. The subscribers of the various mobile telephone operators are increasingly demanding. This situation poses the problems of the cover mobile network to the operators and le...

So far path coverage problem has been studied widely to characterize the properties of the coverage of a path or a track in an area induced by a sensor network, in which the path or track is usually treated as a curve and the width of it can be ignored. However, sensor networks often are employed to carry out road surveillance or target tracking, in which the interesting area is only the surfac...