Understanding Tool Synthesis Behavior and Safe Finite State Machine Design.

Katie Liszewski Timothy McDonley

Published in: CoRR (2021)

Keyphrases

finite state machines
functional decomposition
design tools
deeper understanding
digital circuits
case study
keywords
relational databases
design process
pattern matching
semi automatic
state transition