I recently purchased a board from  nandland.com  called the Go board.

It is a small  fpga board designed by the xxxxxxx   as an  educational tool
to learn either  verilog or vhdl  and some commercial software tools.

However since the board is based on a lattice 1k design  there is now
a suite of open source tools that can be used for simulation or
synthesis. 

iverilog         verilog compiler  comes with simulation tool  vvp


yosys             framework for verilog  RTL synthesis     

arachne-pnr    place and route software  for lattice  1k and 4k chips

icestorm         general  tools  for lattice chips and boards


The  EE  has  the website   nandland.com   and  also a youtube channel
which provides a great educational resource for a beginner interested
in learning about fpga boards.

An interesting approach the author has taken is to combine  vhdl  and
verilog code on the same web page  for each project.

Since I don't know anything about vhdl,   I am getting some exposure
but learning verilog   with the free compiler  iverilog is enough of
a challenge for now.

 I have verified that most of the verilog code on nandland.com can
run on the go board using  fedora linux   and  the other tools listed.

 The Go board comes with  4 switches, 2 7 Segment leds, a VGA port
and  a pmod port. 

Communication with the Go board is through the micro usb port on
the board with a linux pc.


I am building up a library of  gates and other digital logic and the
test bench code so  anyone can  learn  about  fpga's   using
linux.