ICE4: Stoplight

VHDL for ECE 281 ICE4

Targeted toward Digilent Basys3. Make sure to install the board files.

Tested on Windows 11.

Build the project

You can simply open stoplight.xpr and Vivado will do the rest!

GitHub Actions Testbench

The workflow uses the setup-ghdl-ci GitHub action to run a nightly build of GHDL.

The workflow uses GHDL to analyze, elaborate, and run the entity specified in the .github/workflows/testbench.yml.

env:
  TESTBENCH_ENTITY: stoplight_fsm

If successful then GHDL will quietly exit with a 0 code. If any of the assert statements fail with severity failure then GHDL will cease the simulation and exit with non-zero code; this will also cause the workflow to fail. Assert statements of other severity levels, such as "error" will be reported, but not fail the workflow.