Improving structural FSM traversal by constraint-satisfying logic simulation | IEEE Conference Publication | IEEE Xplore