Skip to main content
VLSI Korea

Search Hub

Find public resources, specifications, standards metadata, calculators, and tapeout programs.

Public metadata and educational tools only. Example profiles and research previews without sources are excluded. Dates and source limitations stay attached to each result.

9 results for “RISC-V”

  1. Open silicon

    RISC-V Formal

    A formal verification framework and interface for checking RISC-V processor implementations against ISA properties.

    External index · ISCCatalog date: Reviewed 2026-08-22Source for RISC-V Formal (opens in a new tab)
  2. Open silicon

    BOOM

    An open out-of-order superscalar RISC-V core generator designed to compose with the Rocket Chip ecosystem.

    External index · Apache-2.0Catalog date: Reviewed 2026-08-22Source for BOOM (opens in a new tab)
  3. Open silicon

    CVA6

    A configurable application-class 32/64-bit RISC-V core maintained by the OpenHW Group community.

    External index · SHL-0.51Catalog date: Reviewed 2026-08-22Source for CVA6 (opens in a new tab)
  4. Open silicon

    Ibex

    A configurable 32-bit RISC-V SystemVerilog core built for embedded control applications.

    External index · Apache-2.0Catalog date: Reviewed 2026-08-18Source for Ibex (opens in a new tab)
  5. Open silicon

    NEORV32

    A synthesizable VHDL RISC-V microcontroller SoC with processor, peripherals, bootloader, software framework, and documentation.

    External index · BSD-3-ClauseCatalog date: Reviewed 2026-08-22Source for NEORV32 (opens in a new tab)
  6. Open silicon

    OpenTitan

    Open silicon root-of-trust design with hardware, firmware, verification, and integration collateral.

    External index · Apache-2.0Catalog date: Reviewed 2026-08-18Source for OpenTitan (opens in a new tab)
  7. Open silicon

    RISCV-DV

    A SystemVerilog and UVM random instruction generator for RISC-V processor verification.

    External index · Apache-2.0Catalog date: Reviewed 2026-08-18Source for RISCV-DV (opens in a new tab)
  8. Open silicon

    Rocket Chip

    A Chisel-based SoC generator with RISC-V cores, caches, interconnects, peripherals, and configuration infrastructure.

    External index · Apache-2.0Catalog date: Reviewed 2026-08-22Source for Rocket Chip (opens in a new tab)
  9. Open silicon

    VexRiscv

    A plugin-oriented 32-bit RISC-V CPU generator designed for configurable FPGA implementations.

    External index · MITCatalog date: Reviewed 2026-08-18Source for VexRiscv (opens in a new tab)