SV Assertions
A Study of Finite State Machine Coding Styles for Implementation
b1111 Timing and Control