This paper focuses on testing sequential circuits using a simple form of signature analysis as a compaction technique. More specifically, the paper describes a systematic methodology for calculating the probability of aliasing when a randomly generated test input vector sequence is applied to a given finite state machine (FSM) and the final FSM output is used to verify the functionality of the ...

Abstract. Frozen soil processes are of great importance in controlling surface water and energy balances during the cold season regions. Over recent decades, considerable frozen degradation warming have been reported over Tibetan Plateau North China, but most land models difficulty capturing freeze–thaw cycle, few validations focus on effects thermal characteristics these This paper addresses i...

High consumption of soybean and soybean-related products is hypothesized to contribute to protection against breast cancer. Soybean is a rich source of genistein, a putative cancer chemopreventive agent. Fermented soy milk (FSM), which is made of soy milk fermented with the Bifidobacterium breve strain Yakult, contains larger amounts of the isoflavone aglycones genistein and daidzein than unfer...

This paper presents a self-correcting control unit design using Hamming codes for finite state machine (FSM) state encoding. The adopted technique can correct single-bit errors and detect two-bit errors in the FSM register within the same clock cycle. The main contribution is the development of a parameterizable VHDL package and the respective error-correcting modules, which can easily be added...

A significant level of automation and flexibility has been added to the ACNET control system through the development of a Java-based Finite State Machine (FSM) infrastructure. These FSMs are integrated into ACNET and allow users to easily build, test and execute scripts that have full access to ACNET’s functionality. In this paper, a description will be given of the FSM design and its ties to t...

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...

The management of software cost, development effort and project planning are key aspects of software development. Functional size measurement (FSM) has been proposed as a tool for these management requirements. Function Point Analysis (FPA) can be considered as the first FSM method published. Based on FPA, other methods have been proposed as improvements and alternatives that differ in their re...

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...