TY  - RPRT
TI  - Improving FSM State Enumeration Performance for Hardware Security with RECUT and REFSM-SAT
AU  - Jim Geist
AU  - Travis Meade
AU  - Shaojie Zhang
AU  - Yier Jin
PY  - 2023
UR  - https://arxiv.org/abs/2311.10273
ID  - 2311.10273
ER  -