Compiling various open-source projects to extract their best features, we aim to create a streamlined full-stack platform for SoC (System on a Chip) design verification.

• Chipyard: An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more.

• ESP Embedded Scalable Platforms: Heterogeneous SoC architecture and IP integration made easy.
  
  

• pulp-platform:
  
  

• OpenTitan: OpenTitan: Open source silicon root of trust.

  

• litex: LiteX is developed and used by Enjoy-Digital since 2012 to co-develop full-systems with our partners and provide an convenient and efficient solutions to create SoCs on FPGA based systems. Here are some of the last project we worked on with our partners.
  
  

• migen:A Python toolbox for building complex digital hardware.

  from migen import *
  from migen.build.platforms import m1
  plat = m1.Platform()
  led = plat.request("user_led")
  m = Module()
  counter = Signal(26)
  m.comb += led.eq(counter[25])
  m.sync += counter.eq(counter + 1)
  plat.build(m)

  
  
  

• cocotb: cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python.

• riscv-mini: Simple RISC-V 3-stage Pipeline in Chisel.

• riscv-sodor: Educational microarchitectures for risc-v isa.

• riscv-boom: SonicBOOM: The Berkeley Out-of-Order Machine

• rocket-chip: Rocket Chip Generator

• Ibex: Ibex is a production-quality open source 32-bit RISC-V CPU core written in SystemVerilog. The CPU core is heavily parametrizable and well suited for embedded control applications. Ibex is being extensively verified and has seen multiple tape-outs. Ibex supports the Integer (I) or Embedded (E), Integer Multiplication and Division (M), Compressed (C), and B (Bit Manipulation) extensions.

• snitch: https://github.com/x-tinkerer/snitch

• testchipip: https://github.com/x-tinkerer/testchipip

• riscv-isa-sim: https://github.com/riscv-software-src/riscv-isa-sim

• Ripes: A graphical processor simulator and assembly editor for the RISC-V ISA.

• Performance Modeling: https://github.com/x-tinkerer/riscv-perf-model

• Xiangshan: Open-source high-performance RISC-V processor

  • XiangShan Frontend Develop Environment: https://github.com/x-tinkerer/xs-env

• gem5: The gem5 simulator is a modular platform for computer-system architecture research, encompassing system-level architecture as well as processor microarchitecture.

  • arm-gem5-rsk :https://github.com/x-tinkerer/arm-gem5-rsk Official repository of the Arm Research Starter Kit on System Modeling using gem5

• The Simulation Engine - SimEng SimEng is a framework for building modern, cycle-accurate processor simulators. Its goals are to be:

  • Fast, typically 4-5X faster than gem5
  • Easy to use and modify to model desired microarchitecture configurations. New cores can be configured in just a few hours
  • Scalable, from simple scalar microarchitectures up to the most sophisticated, superscalar, out-of-order designs
  • Capable of supporting a wide range of instruction set architectures (ISAs), starting with AArch64 and RISC-V, but eventually including x86, POWER, etc.
  • Accurate, aiming for simulated cycle times being within 5-10% of real hardware
  • Open source, with a permissive license to enable collaboration across academia and industry
  • Modelling_Apple_M1_CPU_Architecture :https://github.com/x-tinkerer/Modelling_Apple_M1_CPU_Architecture

• DRAMSys DRAMSys a SystemC TLM-2.0 based DRAM simulator.

• DRAMsim3 DRAMsim3: a Cycle-accurate, Thermal-Capable DRAM Simulator.

  • Gem5 integration: works with a forked Gem5 version, see https://github.com/umd-memsys/gem5 at dramsim3 branch for reference.

  • SST integration: see http://git.ece.umd.edu/shangli/sst-elements/tree/dramsim3 for reference. We will try to merge to official SST repo.

  • ZSim integration: see http://git.ece.umd.edu/shangli/zsim/tree/master for reference.

• QEMU: is a generic and open source machine emulator and virtualizer.

• unicorn: Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

• vivado-risc-v: Xilinx Vivado block designs for FPGA RISC-V SoC running Debian Linux distro。

• riscv-gnu-toolchain GNU toolchain for RISC-V, including GCC.

  --with-binutils-src
  --with-gcc-src
  --with-gdb-src
  --with-glibc-src
  --with-linux-headers-src
  --with-llvm-src
  --with-musl-src
  --with-newlib-src
  --with-pk-src
  --with-qemu-src
  --with-spike-src
  

  • riscv-tools-feedstock： https://github.com/ucb-bar/riscv-tools-feedstock
  • esp-tools-feedstock： https://github.com/ucb-bar/esp-tools-feedstock

OSS CAD Suite: Multi-platform nightly builds of open source digital design and verification tools

• Yosys RTL synthesis with extensive Verilog 2005 support
• Amaranth refreshed Python toolbox for building complex digital hardware
• Migen Python toolbox for building complex digital hardware
• ABC A System for Sequential Synthesis and Verification
• GHDL VHDL 2008/93/87 simulator (linux-x64 and darwin-x64 platforms only)

• GHDL plugin VHDL synthesis based on GHDL (linux-x64 and darwin-x64 platforms only)

• sby a front-end driver program for Yosys-based formal hardware verification flows.
• mcy Mutation Cover with Yosys
• eqy Equivalence Checking with Yosys
• sby-gui GUI for sby
• aiger AIGER tools including bounded model checker
• avy Interpolating Property Directed Reachability tool
• Boolector SMT solver and BTOR model checker
• Yices 2 SMT solver
• Super prove ABC-based AIGER hardware model checker (linux-x64 platform only)
• Pono an SMT-based model checker built on smt-switch
• Z3 SMT solver
• Bitwuzla SMT solver

• nextpnr a portable FPGA place and route tool (generic, ice40, ecp5, machxo2, nexus, gowin)
• Project IceStorm tools for working with Lattice ICE40 bitstreams
• Project Trellis tools for working with Lattice ECP5 bitstreams
• Project Oxide tools for working with Lattice Nexus bitstreams
• Project Apicula tools for working with Gowin bitstreams

• openFPGALoader universal utility for programming FPGA
• dfu-util Device Firmware Upgrade Utilities
• ecpprog basic driver for FTDI based JTAG probes, to program ECP5 FPGAs
• ecpdap program ECP5 FPGAs and attached SPI flash using CMSIS-DAP probes in JTAG mode
• fujprog ULX2S / ULX3S JTAG programmer
• openocd Open On-Chip Debugger
• icesprog iCESugar FPGA board programmer
• iceprogduino Olinuxino based programmer for iCE40HX1K-EVB
• TinyFPGA USB Bootloader
• TinyFPGA-B TinyFPGA B2 Board programmer
• iceFUN iceFUN Programmer

• GTK Wave fully featured GTK+ based wave viewer
• verilator Verilog/SystemVerilog simulator
• iverilog Verilog compilation system
• cocotb coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python

F4PGA:FOSS Flow For FPGA