17 open source projects by sifive

Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version from MIT

Common RTL blocks used in SiFive's projects

Tools for SiFive's Freedom Platform

Source files for SiFive's Freedom platforms

Open Source Software for Developing on the Freedom E Platform

👾 Design ∪ Hardware

Fork of Verilator with prebuilt Ubuntu binaries (https://www.veripool.org/wiki/verilator)

Workspace Integration Tool

No description, website, or topics provided.

No description, website, or topics provided.

The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.

SiFive OpenEmbedded / Yocto BSP Layer

SiFive's LLVM working tree

The SiFive wake build tool

Bare Metal Compatibility Library for the Freedom Platform

Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.

Freedom U Software Development Kit (FUSDK)