* Stop simulation by using a cycle-counting procedure (simulation only) * Remove stop-time option from ghdl run command line
* Add example for simple SERE * Add formal test for simple SERE example * Restructure lists in README