DESIGN OF MEALY FINITE-STATE MACHINES WITH THE TRANSFORMATION OF OBJECT CODES

被引：0

作者：

Barkalov, Alexander A. ^{[1
]}

Barkalov, Alexander A., Jr. ^{[2
]}

机构：

[1] Univ Zielona Gora, Inst Comp Engn & Elect, Ul Podgorna 50, PL-65246 Zielona Gora, Poland

[2] Siemens Ukraine, UA-03150 Kiev, Ukraine

来源：

INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE | 2005年 / 15卷 / 01期

关键词：

finite-state machine; programmable logic device; object; design; logic circuit;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

An optimization method of the logic circuit of a Mealy finite-state machine is proposed. It is based on the transformation of object codes. The objects of the Mealy FSM are internal states and sets of microoperations. The main idea is to express the states as some functions of sets of microoperations (internal states) and tags. The application of this method is connected with the use of a special code converter in the logic circuit of an FSM. An example of application is given. The effectiveness of the proposed method is also studied.

引用

页码：151 / 158

页数：8

共 50 条

[41] TESTING FINITE-STATE MACHINES - STATE IDENTIFICATION AND VERIFICATION
LEE, D
YANNAKAKIS, M
IEEE TRANSACTIONS ON COMPUTERS, 1994, 43 (03) : 306 - 320
[42] Data-Parallel Finite-State Machines
Mytkowicz, Todd
Musuvathi, Madanlal
Schulte, Wolfram
ACM SIGPLAN NOTICES, 2014, 49 (04) : 529 - 541
[43] The grassfire transform using finite-state machines
Waltz, FM
Miller, JWV
MACHINE VISION AND THREE-DIMENSIONAL IMAGING SYSTEMS FOR INSPECTION AND METROLOGY II, 2002, 4567 : 113 - 120
[44] A SURVEY OF THE THEORY OF FINITE-STATE LOGICAL MACHINES
HUFFMAN, D
PROCEEDINGS OF THE INSTITUTE OF RADIO ENGINEERS, 1959, 47 (03): : 478 - 478
[45] A thermodynamically consistent model of finite-state machines
Chu, Dominique
Spinney, Richard E.
INTERFACE FOCUS, 2018, 8 (06)
[46] HEURISTIC PROCEDURE FOR REDUCTION OF FINITE-STATE MACHINES
STENTIFORD, FW
LEWIN, DW
ELECTRONICS LETTERS, 1971, 7 (23) : 700 - +
[47] Products of Mealy-type Rough Finite State Machines
Sharan, Shambhu
Tiwari, S. P.
2012 NATIONAL CONFERENCE ON COMPUTING AND COMMUNICATION SYSTEMS (NCCCS), 2012, : 62 - 66
[48] High-speed finite-state machines
Hoff, B
DR DOBBS JOURNAL, 1997, 22 (11): : 54 - +
[49] Model reduction of finite-state machines by contraction
Giua, A
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (05) : 797 - 801
[50] Verification of finite-state machines: A distributed approach
Gorrieri, Roberto
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018, 96 : 65 - 80

← 1 2 3 4 5 →