aboutsummaryrefslogtreecommitdiffstats
path: root/tests/fsm
Commit message (Expand)AuthorAgeFilesLines
* Cosmetic changes to FSM testsClifford Wolf2014-08-211-1/+1
* Some improvements in FSM mapping and recodingClifford Wolf2014-08-141-1/+2
* Added test_verific mode to tests/fsm/generate.pyClifford Wolf2014-08-121-7/+17
* Fixed FSM mapping for multiple reset-like signalsClifford Wolf2014-08-101-7/+22
* Some improvements in fsm_opt and fsm_map for FSM with unreachable statesClifford Wolf2014-08-091-1/+2
* Improved FSM testsClifford Wolf2014-08-083-2/+4
* Added FSM test benchClifford Wolf2014-08-082-0/+113