A method of state machine coverage collection based on static analysis and assertion

A method of state machine coverage collection of behavioral simulation of RTL code is proposed in this paper based on static analysis and assertion. Firstly, the finite state machine and its state distribution in the source code is identified through static analysis. Secondly, assertion statements are added to the source code to monitor the changes of the state machine, and record the previous and current state values during the simulation process when the state machine changes. the previous and current values of state machine are recorded during the simulation process when the value of state machine changes. Finally, the results of static analysis are compared with the results of assertion monitoring during the simulation process to obtain the coverage of the finite state machine. It is demonstrated by experiments that the coverage of finite state machine could be collected by the method proposed in this paper.