SiFive

Results 13 repositories owned by SiFive

freedom-u-sdk

267
Stars
124
Forks
Watchers

Freedom U Software Development Kit (FUSDK)

RiscvSpecFormal

74
Stars
8
Forks
Watchers

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...

chisel-circt

69
Stars
9
Forks
Watchers

Library to compile Chisel circuits using LLVM/MLIR (CIRCT)

benchmark-dhrystone

65
Stars
18
Forks
Watchers

"DHRYSTONE" Benchmark Program by Reinhold P. Weicker

block-inclusivecache-sifive

71
Stars
45
Forks
Watchers

buildroot

15
Stars
25
Forks
Watchers

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 fi...

cinco

32
Stars
21
Forks
Watchers

Port of Arduino environment for Freedom E 300 Dev Kit & HiFive Board

duh

72
Stars
6
Forks
Watchers

👾 Design ∪ Hardware

elf2hex

78
Stars
20
Forks
Watchers

Converts ELF files to HEX files that are suitable for Verilog's readmemh.

ProcKami

23
Stars
4
Forks
Watchers

Kami based processor implementations and specifications