ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Asynchronous Finite-State Machines
FSM-Based Digital Design Using Verilog HDL
◽
10.1002/9780470987629.ch9
◽
2008
◽
pp. 267-312
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
Download Full-text
Related Documents
Cited By
References
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
◽
Cited By ~ 1
Author(s):
R. Forth
◽
P. Molitor
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
◽
State Encoding
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
◽
Finite State
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
◽
Finite State
Download Full-text
Assessing test suites of extended finite state machines against model‐ and code‐based faults
Software Testing Verification and Reliability
◽
10.1002/stvr.1789
◽
2021
◽
Author(s):
K. El‐Fakih
◽
Ayman Alzaatreh
◽
Uraz Cengiz Türker
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
◽
Extended Finite State Machines
◽
Test Suites
Download Full-text
The Design of Finite-State Machines for Quantization Using Simulated Annealing
Proceedings. IEEE International Symposium on Information Theory
◽
10.1109/isit.1993.748759
◽
2005
◽
Cited By ~ 1
Author(s):
E.E. Kuruoglu
◽
E. Ayanoglu
Keyword(s):
Simulated Annealing
◽
Finite State Machines
◽
State Machines
◽
Finite State
Download Full-text
A technique for proving liveness of communicating finite state machines with examples
Proceedings of the third annual ACM symposium on Principles of distributed computing - PODC '84
◽
10.1145/800222.806734
◽
1984
◽
Cited By ~ 8
Author(s):
M. G. Gouda
◽
C. K. Chang
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
Download Full-text
On the class of L*-language formulas that specify finite-memory finite-state machines
Cybernetics and Systems Analysis
◽
10.1007/s10559-010-9177-2
◽
2010
◽
Vol 46
(1)
◽
pp. 1-6
◽
Cited By ~ 3
Author(s):
A. N. Chebotarev
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
◽
Finite Memory
Download Full-text
Global Linearization of Finite State Machines Via Feedback Control
IFAC Proceedings Volumes
◽
10.1016/s1474-6670(17)49216-0
◽
1993
◽
Vol 26
(2)
◽
pp. 689-692
Author(s):
D. Franke
Keyword(s):
Feedback Control
◽
Finite State Machines
◽
State Machines
◽
Finite State
◽
Global Linearization
Download Full-text
Verification of timed Finite State Machines
2015 International Siberian Conference on Control and Communications (SIBCON)
◽
10.1109/sibcon.2015.7147095
◽
2015
◽
Author(s):
Galina Kidyarova
◽
Nina Yevtushenko
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close