Alternatives and similar repositories for betrusted-soc:

Users that are interested in betrusted-soc are comparing it to the libraries listed below

• PSPReverse / PSPTrace
  correlate an SPI capture of an AMD boot procedure to the PSP firmware components
  ☆13Updated last year
• Phantom1003 / QARMA64
  QARMA block cipher in C
  ☆27Updated 2 years ago
• betrusted-io / gateware
  IP submodules, formatted for easier CI integration
  ☆29Updated last year
• PSPReverse / psp-apps
  Custom PSP app framework
  ☆15Updated 4 years ago
• gamozolabs / riscv
  A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt
  ☆29Updated 5 years ago
• isec-tugraz / memsec
  Framework for building transparent memory encryption and authentication solutions
  ☆27Updated 6 years ago
• avatartwo / avatar-qemu
  QEmu backend for avatar²
  ☆21Updated this week
• keystone-enclave / riscv-pk
  Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready
  ☆35Updated 3 years ago
• OpenCAPI / omi_device_ice
  An example OMI Device FPGA with 2 DDR4 memory ports
  ☆16Updated 2 years ago
• riscv-admin / riscv-landscape
  🌄 RISC-V Ecosystem Landscape: a living document that developers, investors, vendors, researchers and others can use as a resource on the…
  ☆14Updated this week
• mfthomps / Visualization-of-Software-Execution
  Tools created for the DARPA Cyber Grand Challenge that visualize software execution based on traces generated by the CGC Monitor and a Un…
  ☆14Updated 6 years ago
• kudelskisecurity / Verilaptor
  ☆20Updated 3 years ago
• machdyne / noir
  Noir Computer
  ☆16Updated last year
• tudinfse / SpecFuzz
  A tool to enable fuzzing for Spectre vulnerabilities
  ☆30Updated 5 years ago
• stnolting / neorv32-riscof
  ✔️ Port of RISCOF to check the NEORV32 for RISC-V ISA compatibility.
  ☆32Updated last week
• PSPReverse / psp-docs
  Documentation about the reversed engineered PSP interfaces/hardware components.
  ☆26Updated 3 years ago
• intel / libaji_client
  This is the client side library to access JTAG Server distributed with Quartus (jtagd/jtagserver.exe). The protocol is known as Advanced …
  ☆19Updated 7 months ago
• shacron / sled
  Sled System Emulator
  ☆28Updated last month
• htminuslab / Modelsim-Unicorn
  Modelsim QEMU Unicorn integration via the FLI
  ☆14Updated 2 years ago
• riscv / configuration-structure
  RISC-V Configuration Structure
  ☆37Updated 5 months ago
• secworks / blake2s
  Verilog implementation of the 32-bit version of the Blake2 hash function
  ☆21Updated 2 years ago
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆35Updated 2 weeks ago
• redballoonsecurity / bal
  A framework for parsing binary data.
  ☆16Updated 2 years ago
• stefanpie / sa-placer
  ☆14Updated last year
• RTimothyEdwards / irsim
  IRSIM switch-level simulator for digital circuits
  ☆32Updated 11 months ago
• sabbaghm / c-ll-verilog
  An LLVM based mini-C to Verilog High-level Synthesis tool
  ☆35Updated 3 weeks ago
• FPGA-Research / FPGAVirusScanner
  Program to scan for malicious FPGA designs.
  ☆14Updated 4 years ago
• maerhart / llhd
  A low-level intermediate representation for hardware description languages
  ☆28Updated 4 years ago
• teknohog / rautanoppa
  Hardware random number generator for FPGAs
  ☆9Updated 9 years ago
• zv / SHA3ImplementedInsideofaRARfile
  The Keccak hash algorithm implemented inside of a RAR archive using the RAR filter assembly language
  ☆23Updated 10 years ago