The problem of constructing distinguishing experiments is a fundamental problem in the area of finite state machines (FSMs), especially for FSM-based testing. In this paper, the problem is studied for timed nondeterministic FSMs (TFSMs) with output delays. Given two TFSMs, we derive the TFSM intersection of these machines and show that the machines can be distinguished using an appropriate (unt...

This paper concerns the synthesis of complex finite state machines (FSM) by a novel partitioning and encoding approach. The target architecture is a generalization of FSM implementations with embedded loadable counters. Starting with a subgraph extraction constraints driven partitioning generates three parts, a sequencing, a command and an autonomous logic block. By solving the encoding problem...

This paper tests whether structural change in US agriculture is an important channel to TFP growth and evaluates the relative impact of (i) public research and education policies, (ii) private R&D and market forces, and (iii) government farm programs on structural change. We specify a structural econometric model, fit it to US state aggregate data, 1953–1982, and use the associated reduced-form...

We propose a power estimation technique for controllers that operates at the register-transfer level to provide early warning of a power problems. Our estimator is based on the use of entropy as a measure of the average activity in the final implementation of a circuit given FSM network description. FSM networks are constructed from a partition of a initial FSM state transition graph (STG). The...

Feedlot pen soil is a source for transmission of Escherichia coli O157:H7, and therefore a target for preharvest strategies to reduce this pathogen in cattle. The objective of this study was to determine the ability of soil solarization to reduce E. coli O157:H7 in feedlot surface material (FSM). A feedlot pen was identified in which naturally occurring E. coli O157:H7 was prevalent and evenly...

This paper examines some models of FSMs that can be implemented in dynamically and statically reconfigurable FPGAs. They enable circuits for the FSMs to be constructed in such a way that allows their behavior to be modified before and during run-time. This is achieved either by swapping preallocated areas on a chip in partially dynamically reconfigurable FPGAs, or by reloading memory-based cell...

In this paper, we present a novel conformance test suite derivation method. Similar to the HIS method, our method uses harmonized state identifiers for state identification and transition checking and can be applied to any reduced possibly partial deterministic or nondeterministic specification FSM. However, in contrast with the HIS method, in the proposed method appropriate state identifiers a...

There has been much interest in testing from finite state machines (FSMs) as a result of their suitability for modelling or specifying state-based systems. Where there are multiple ports/interfaces a multi-port FSM is used and in testing a tester is placed at each port. If the testers cannot communicate with one another directly and there is no global clock then we are testing in the distribute...