Login / Signup
Methodology for Distributed-ROM-Based Implementation of Finite State Machines.
Raouf Senhadji-Navarro
Ignacio Garcia-Vargas
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2021)
Keyphrases
</>
finite state machines
design methodology
cooperative
model checking
finite state automata
peer to peer
distributed systems
efficient implementation
database systems
fault tolerant
distributed data
digital circuits
layered architecture
mutation testing