Skip to content
Add enumeration encoding inferation phase
Internal cleaning
add FSM always{} blocks