TY  - RPRT
TI  - Understanding Tool Synthesis Behavior and Safe Finite State Machine Design
AU  - Katie Liszewski
AU  - Timothy McDonley
PY  - 2021
UR  - https://arxiv.org/abs/2108.04042
ID  - 2108.04042
ER  -