HSM2: A new heuristic state minimization algorithm for finite state machine

被引：1

作者：

Hu, H ^{[1
]}

Xue, HX ^{[1
]}

Bian, JN ^{[1
]}

机构：

[1] Tsinghua Univ, Dept Comp Sci & Technol, EDA Lab, Beijing 100084, Peoples R China

来源：

JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY | 2004年 / 19卷 / 05期

关键词：

high-level synthesis; controller synthesis; state minimization; minimal closed cover;

D O I：

10.1007/BF02945600

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper proposes a heuristic state minimization algorithm (HSM2) for finite state machines (FSM). HSM2 focuses on the generation and adjustment of the closed cover. First an initial closed cover is generated by heuristically selecting proper maximal compatibles to satisfy all the covering and closure conditions, and then it is adjusted to be a minimal or near minimal closed cover by heuristically removing repeated states. Experimental results show that the algorithm is faster and obtains better or the same solutions compared with conventional methods.

引用

页码：729 / U3

页数：5

共 50 条

[41] Parallelization of the Hoshen-Kopelman algorithm using a finite state machine
Univ of Tennessee, Knoxville, United States
[J]. Int J Supercomput Appl High Perform Comput, 1 (34-48):
[42] Genetic algorithm based approach for integrated state assignment and flipflop selection in finite state machine synthesis
Chattopadhyay, S
Chaudhuri, PP
[J]. ELEVENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1997, : 522 - 527
[43] A heuristic state assignment algorithm targeting area
Hu, H
Xue, HX
Bian, JN
[J]. 2003 5TH INTERNATIONAL CONFERENCE ON ASIC, VOLS 1 AND 2, PROCEEDINGS, 2003, : 93 - 96
[44] AN AUTOMATIC NAVIGATION SYSTEM FOR VISION GUIDED VEHICLES USING A DOUBLE HEURISTIC AND A FINITE STATE MACHINE
FOK, KY
KABUKA, MR
[J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1991, 7 (01): : 181 - 189
[45] On the complexity of Hopcroft's state minimization algorithm
Berstel, J
Carton, O
[J]. IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2005, 3317 : 35 - 44
[46] Learning finite-state transducers: Evolution versus heuristic state merging
Lucas, Simon M.
Reynolds, T. Jeff
[J]. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2007, 11 (03) : 308 - 325
[47] A parallel state assignment algorithm for finite state machines
Bader, DA
Madduri, K
[J]. HIGH PERFORMANCE COMPUTING - HIPC 2004, 2004, 3296 : 297 - 308
[48] A parallel algorithm for state assignment of finite state machines
Hasteer, G
Banerjee, P
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1998, 47 (02) : 242 - 246
[49] An iterative improvement method for state minimization of incompletely specified finite state machines
Higuchi, H
Matsunaga, Y
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1997, E80D (10) : 993 - 1000
[50] Evolutionary algorithm for state assignment of finite state machines
Chyzy, M
Kosinski, W
[J]. EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN, PROCEEDINGS: ARCHITECTURES, METHODS AND TOOLS, 2002, : 359 - 362

← 1 2 3 4 5 →