>"o Contains a library with the most commonly used 74xx series integrated circuits.<p>[...]<p>o Good performance: The example processor can be clocked at 120 kHz.<p>[...]<p>o A circuit can be exported to VHDL or Verilog. There is also direct support for the BASYS3 Board and the TinyFPGA BX board. See the documentation for details. The examples folder contains a variant of the example CPU, which runs on a BASYS3 board."<p>PDS: Looks really nice!