ScholarLens Back to search
2019•Unpublished venueRequires access

Synchronizing Sequences For Verification Of Finite State Machines

Maryna Mіroshnyk, Alexander Shkil, Elvira Kulak, Дарія Рахліс, Yurii Pahomov, Anatolii Mіroshnyk

Open publisher page 3 citations

Abstract

The method of detection and localization of design errors in HDL-models of finite state machines with arbitrary output functions was proposed. The diagnostic experiment is carried out bypassing all arcs of the Mealy machine, starting from the initial vertex, including for machines of the "non-exclusive" class. To ensure the return of the machine with a possible design error in the initial state, it is suggested to use synchronizing sequences. Diagnostic experiments were performed in the Active-HDL design environment.

About this research paper

What this paper is about

The method of detection and localization of design errors in HDL-models of finite state machines with arbitrary output functions was proposed. The diagnostic experiment is carried out bypassing all arcs of the Mealy machine, starting from the initial vertex, including for machines of the "non-exclusive" class. To ensure the return of the machine with a possible design error in the initial state, it is suggested to use synchronizing sequences. Diagnostic experiments were performed in the Active-HDL design environment.

Why it matters

OpenAlex reports 3 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

The method of detection and localization of design errors in HDL-models of finite state machines with arbitrary output functions was proposed. The diagnostic experiment is carried out bypassing all arcs of the Mealy machine, starting from the initial vertex, including for machines of the "non-exclusive" class. To ensure the return of the machine with a possible design error in the initial state, it is suggested to use synchronizing sequences. Diagnostic experiments were performed in the Active-HDL design environment.

Key concepts: Synchronizing, Finite-state machine, Computer science, Vertex (graph theory), State (computer science), Finite state, Class (philosophy), Algorithm

Related papers

Related paper 1Related paper 2
Back to paper searchBrowse research topicsOriginal source
Synchronizing Sequences For Verification Of Finite State Machines — Research Paper | ScholarLens