A Novel Scheme for Synthesis of Easily Testable Finite State Machines Using Cellular Automata.
Susanta MisraBiswadip MitraParimal Pal ChaudhuriPublished in: VLSI Design (1993)
Keyphrases
- cellular automata
- finite state machines
- cellular automaton
- finite state automata
- model checking
- cellular automata model
- reaction diffusion
- functional decomposition
- pattern formation
- chaotic dynamics
- cellular automaton model
- lattice gas
- potts model
- regular expressions
- path planner
- predator prey
- state transition
- dynamical systems
- mobile robot