Forum Discussion
Altera_Forum
Honored Contributor
11 years agoActually, this code was not written by me, so I do not understand it's original purpose.
Maybe I am not an expert in model checking, but I think every piece of code can be converted to one (or more) corresponding state machine. Of course, this state machine may be a useless and ugly one, but valid