SiFive

Please note that GitHub no longer supports old versions of Firefox.
We recommend upgrading to the latest Safari, Google Chrome, or Firefox.
SiFive
- 1875 South Grant Street Suite 600, San Mateo, CA 94402
- https://www.sifive.com
- info@sifive.com
Grow your team on GitHub
GitHub is home to over 40 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Sign upPinned repositories
-
-
buildroot
Forked from buildroot/buildrootBuildroot, 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.
-
Kami
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
-
freedom-tools
Tools for SiFive's Freedom Platform
-
freedom-e-sdk
Open Source Software for Developing on the Freedom E Platform
-
sifive-blocks
Common RTL blocks used in SiFive's projects
-
api-chisel3-sifive
Wake build description for chisel3
-
api-firrtl-sifive
Wake build description for firrtl
-
devicetree-overlay-generator
Generates Devicetree overlays which encode the assumptions and/or sane defaults
-
ProcKami
Kami based processor implementations and specifications
hardware coq riscv hardware-designs formal-verification riscv-simulator -
-
StdLibKami
Standard Library of Kami Modules
-
wit
Workspace Integration Tool
-
riscv-llvm
SiFive's LLVM working tree
-
freedom-metal
Bare Metal Compatibility Library for the Freedom Platform
-
-
freedom-u540-c000-bootloader
Freedom U540-C000 Bootloader Code
-
freedom-devicetree-tools
A linker script generator for SiFive's Freedom platform
-
trace-decoder
SiFive implementation of the Nexus Trace decoder
-
RiscvSpecFormal
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.
hardware coq riscv hardware-designs formal-verification riscv-simulator -
-
wake
The SiFive wake build tool
-
-
api-generator-sifive
Wake build descriptions of hardware generators
-