Warning : FSM2HDL_3127 <File_name>..asf : The default state is not empty, the coverage pragma has been omitted.


This syntax warning is displayed when I attempt to compile file for my finite state machine. Please help.


Use code coverage pragma.If a state machine has no trap state defined and you are going to generate a Code Coverage report, this option prevents from examining branches with the when others => null; or else null; statements (and collecting coverage statistics for them) by automatic insertion of the Code Coverage pragmas (--vhdl_cover_off and --vhdl_cover_on) to the generated VHDL source code. Otherwise, if a trap state is selected or the Omit empty "when others" case option is checked, the pragmas are not inserted. You can enable this pragma by checking the Use code coverage pragma checkbox on Code Generation Settings Dialog Box (which can be invoked from FSM/Code Generation Settings).

Ask Us a Question
Ask Us a Question
Captcha ImageReload Captcha
Incorrect data entered.
Thank you! Your question has been submitted. Please allow 1-3 business days for someone to respond to your question.
Internal error occurred. Your question was not submitted. Please contact us using Feedback form.
We use cookies to ensure we give you the best user experience and to provide you with content we believe will be of relevance to you. If you continue to use our site, you consent to our use of cookies. A detailed overview on the use of cookies and other website information is located in our Privacy Policy.