010 GitHub stars
02Implements consistent synchronous active-low reset patterns
03Standardizes module organization from signal declarations to formal assertions
04Provides templates for robust FSM design using typedef enums and logic separation
05Enforces 'svc_' naming prefixes and specific signal suffixes like '_next' and '_p1'
06Guides the use of the SVC_UNUSED macro and integrated linting workflows