Sleepy PWM LED by SpinalHDL for TinyFPGA BX

This is my first SpinalHDL design for TinyFPGA BX.

Tutorial by Blog

A SpinalHDL tutorial for software designer (written in Japanese) is provided on my work blog.

• Part 1: Writing Digital PWM by SpinalHDL
• Part 2: Converting to Verilog HDL and Simulation
• Part 3: Difference between "if" Clause and "when" Object
• Part 4: Writing Top Level with Clock Domain Configuration

Required Hardware

• TinyFPGA BX board

  • TinyFPGA
  • Crowd Supply

Required Software

• sbt

  Please refer this page to install sbt.

• Yosys

  This page is helpful to install Yosys.

• IceStorm Tools

  Please refer this page again.

• nextpnr

  The official GitHub site and also this page is helpful.

• tinyprog

  This TinyFPGA BX User Guide is a good starting point to begin TinyFPGA BX.

• OPTIONAL: ice40_viewer

  It generates layout views of your design, but it is optional.

Building by make

NOTE: If you run ice40_viewer, please modify 'ICEVIEW' line in the Makefile according to your installation.

• make: Building bit-stream file for TinyFPGA BX

• make html: Generating a layout view by ice40_viewer

• make upload: Uploading a bit-stream file to TinyFPGA BX