Monitoring machine based synthesis technique for concurrent error detection in finite state machines

Journal of Electronic Testing ◽

10.1007/bf02341823 ◽

1996 ◽

Vol 8 (2) ◽

pp. 179-201

Author(s):

R. A. Parekhji ◽

G. Venkatesh ◽

S. D. Sherlekar

Keyword(s):

Error Detection ◽

Finite State Machines ◽

Concurrent Error Detection ◽

State Machines ◽

Synthesis Technique ◽

Download Full-text

Concurrent error detection for finite state machines implemented with embedded memory blocks of SRAM-based FPGAs

Microprocessors and Microsystems ◽

10.1016/j.micpro.2008.03.008 ◽

2008 ◽

Vol 32 (5-6) ◽

pp. 303-312 ◽

Author(s):

Andrzej Krasniewski

Keyword(s):

Error Detection ◽

Finite State Machines ◽

Concurrent Error Detection ◽

State Machines ◽

Embedded Memory ◽

Download Full-text

Entropy-driven parity-tree selection for low-overhead concurrent error detection in finite state machines

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2005.855933 ◽

2006 ◽

Vol 25 (8) ◽

pp. 1547-1554 ◽

Author(s):

S. Almukhaizim ◽

P. Drineas ◽

Y. Makris

Keyword(s):

Error Detection ◽

Finite State Machines ◽

Concurrent Error Detection ◽

State Machines ◽

Finite State ◽

Download Full-text

Encoded finite-state machines for non-concurrent error detection and identification

Proceedings of the 2003 International Symposium on Circuits and Systems, 2003. ISCAS '03. ◽

10.1109/iscas.2003.1205155 ◽

2003 ◽

Author(s):

C.N. Hadjicostis

Keyword(s):

Error Detection ◽

Finite State Machines ◽

Concurrent Error Detection ◽

State Machines ◽

Detection And Identification ◽

Download Full-text

Novel PUF-Based Error Detection Methods in Finite State Machines

Information Security and Cryptology – ICISC 2008 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00730-9_15 ◽

2009 ◽

pp. 235-252 ◽

Author(s):

Ghaith Hammouri ◽

Kahraman Akdemir ◽

Berk Sunar

Keyword(s):

Error Detection ◽

Finite State Machines ◽

Detection Methods ◽

State Machines ◽

Download Full-text

Non-linear Error Detection for Finite State Machines

Information Security Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-10838-9_17 ◽

2009 ◽

pp. 226-238 ◽

Author(s):

Kahraman D. Akdemir ◽

Ghaith Hammouri ◽

Berk Sunar

Keyword(s):

Error Detection ◽

Finite State Machines ◽

State Machines ◽

Download Full-text

Nonconcurrent error detection and correction in fault-tolerant linear finite-state machines

IEEE Transactions on Automatic Control ◽

10.1109/tac.2003.820066 ◽

2003 ◽

Vol 48 (12) ◽

pp. 2133-2140 ◽

Author(s):

C.N. Hadjicostis

Keyword(s):

Error Detection ◽

Fault Tolerant ◽

Finite State Machines ◽

State Machines ◽

Error Detection And Correction ◽

Download Full-text

An efficient heuristic for state encoding minimizing the BDD representations of the transition relations of finite state machines

Proceedings 2000. Design Automation Conference. (IEEE Cat. No.00CH37106) ◽

10.1109/aspdac.2000.835071 ◽

2002 ◽

Author(s):

R. Forth ◽

P. Molitor

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Download Full-text

Combining SIMD and Many/Multi-core Parallelism for Finite-state Machines with Enumerative Speculation

ACM Transactions on Parallel Computing ◽

10.1145/3399714 ◽

2020 ◽

Vol 7 (3) ◽

pp. 1-26

Author(s):

Peng Jiang ◽

Yang Xia ◽

Gagan Agrawal

Keyword(s):

Finite State Machines ◽

State Machines ◽

Download Full-text

The process of automated knowledge control among technological installations operators modeling using finite-state machines

10.1063/5.0060506 ◽

2021 ◽

Author(s):

Ivan S. Polevshchikov ◽

Elizaveta B. Krokha

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Automated Knowledge

Download Full-text

Decidability of a class of dual communicating finite state machines

ACM SIGOPS Operating Systems Review ◽

10.1145/230908.230920 ◽

1996 ◽

Vol 30 (3) ◽

pp. 59-66

Author(s):

H. Mountassir

Keyword(s):

Finite State Machines ◽

State Machines ◽

Download Full-text