The design was tested both on the FPGA board and on the OrCAD simulator. On the FPGA board, correct and wrong were given manually by DIP switches and push-button. On the OrCAD simulator, appropriate stimuli were given to ``simulate'' key-in sequence. Both cases worked correctly.
When either trace name or stimuli is updated in the schematic, it seemd that not only .ast and .atr but also .stm has to be removed. Otherwise update will not be reflected on the simulator.
