Ibex Reference Guide

The Ibex Reference Guide provides background information. It describes the design in detail, discusses the verification approach and the resulting testbench structures, and generally helps to understand Ibex in depth.

In this section

• Pipeline Details
  • Third Pipeline Stage
  • Multi- and Single-Cycle Instructions
• Instruction Fetch
  • Instruction-Side Memory Interface
  • Misaligned Accesses
  • Protocol
• Instruction Decode and Execute
  • Instruction Decode Block (ID)
  • Controller
  • Decoder
  • Register File
  • Execute Block
  • Arithmetic Logic Unit (ALU)
  • Multiplier/Divider Block (MULT/DIV)
  • Control and Status Register Block (CSR)
  • Load-Store Unit (LSU)
• Load-Store Unit
  • Data-Side Memory Interface
  • Bus Integrity Checking
  • Misaligned Accesses
  • Protocol
• Register File
  • Flip-Flop-Based Register File
• Control and Status Registers
  • Machine Status (mstatus)
  • Machine ISA Register (misa)
  • Machine Interrupt Enable Register (mie)
  • Machine Trap-Vector Base Address (mtvec)
  • Machine Exception PC (mepc)
  • Machine Cause (mcause)
  • Machine Trap Value (mtval)
  • Machine Interrupt Pending Register (mip)
  • PMP Configuration Register (pmpcfgx)
  • PMP Address Register (pmpaddrx)
  • Trigger Select Register (tselect)
  • Trigger Data Register 1 (tdata1)
  • Trigger Data Register 2 (tdata2)
  • Trigger Data Register 3 (tdata3)
  • Machine Context Register (mcontext)
  • Supervisor Context Register (scontext)
  • Debug Control and Status Register (dcsr)
  • Debug PC Register (dpc)
  • Debug Scratch Register 0 (dscratch0)
  • Debug Scratch Register 1 (dscratch1)
  • CPU Control Register (cpuctrl)
  • Time Registers (time(h))
  • Machine Vendor ID (mvendorid)
  • Machine Architecture ID (marchid)
  • Machine Implementation ID (mimpid)
  • Hardware Thread ID (mhartid)
• Performance Counters
  • Event Selector
  • Controlling the counters from software
  • Parametrization at synthesis time
  • FPGA Targets
• Exceptions and Interrupts
  • Privilege Modes
  • Interrupts
  • Recoverable Non-Maskable Interrupt
  • Exceptions
  • Nested Interrupt/Exception Handling
  • Double Fault Detection
• Physical Memory Protection (PMP)
  • PMP Integration
  • PMP Granularity
  • PMP Enhancements
  • Custom Reset Values
• Debug Support
  • Interface
  • Parameters
  • Core Debug Registers
• Tracer
  • Output file
  • Disabling the tracer
  • Trace output format
• Verification
  • Ibex Core
  • Instruction Cache
• Co-simulation System
  • Overview
  • Setup and Usage
  • Co-simulation details
• Test Plan
  • Goals
  • Testbench Architecture
  • Stimulus Strategy
  • Tests
• Coverage Plan
  • Introduction
  • Microarchitectural Events and Behaviour
  • Cross Coverage
• RISC-V Formal Interface
  • Formal Verification
• History
  • References