In the last article, I went through how to implement a state machine in IAR Visual State. This article, as I mentioned before, covers how to use Verificator and how to verify the design with the simulator.
Verificator is located here: Project>Verify ...
