* Stop simulation by using a cycle-counting procedure (simulation only) * Remove stop-time option from ghdl run command line
* Add example for next_e operator * Add formal test for next_e operator example