2. Introduction
  3. About Pavona
  4. Getting Started
    ❱
    1. Intro to Hardware
    2. Intro to Software
  7. Using Pavona
  8. Verilator Setup
  9. FPGA Setup
    ❱
    1. Vivado Setup
    2. Get a Board
    3. FPGA Reference Manual
      ❱
      1. Using OpenOCD
      2. Debugging with an ILA
  11. Design Verification Setup
    ❱
    1. Formal Verification Setup
  13. Synthesis Flow
    ❱
    1. Linting
  15. License
  17. Contributing
  18. Contributing
    ❱
    1. Vendoring Philosophy
  20. Style
    ❱
    1. Verilog
      ❱
      1. DV
    3. RISC-V Assembly
    4. ACC Assembly
    5. C & C++
    6. Python
    7. Hjson
    8. Markdown
  22. Directory Structure
  23. GitHub Notes
  24. Bazel Notes
  25. Continuous Integration
    ❱
    1. FAQs
  27. Glossary
  29. Hardware
  30. Hardware Overview
    ❱
    1. Comportability
    2. Development Stages
    3. Checklists
    4. Cores
    5. IP Template Generation
  32. Hardware IP Blocks
    ❱
    1. Asymmetric Cryptographic Coprocessor (ACC)
      ❱
      1. Introduction to ACC
      2. Theory of Operation
      3. Developing ACC
        ❱
        1. Writing Software
        2. Example Code Snippets
      5. ISA Guide
      6. Design Verification
        ❱
        1. Testplan
        2. Random Instruction Generator
          ❱
          1. Internals
          2. Configuration
        4. memutil wrapper
        5. ACC Simulation Software
        6. Tracer
        7. Formal Masking Verification Using Alma
      8. Functional Coverage
      9. Programmer's Guide
      10. Hardware Interfaces
      11. Registers
      12. Hardware Checklist
      13. Software Checklist
    3. Access Control Range Check [templated]
    4. Analog to Digital Converter Control
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
    6. Advanced Encryption Standard (AES)
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    8. Alert Handler [templated]
    9. Always-On Timer
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    11. Ascon
      ❱
      1. Background
      2. Theory of Operation
      3. Programmer's Guide
      4. Hardware Interfaces
      5. Registers
      6. Hardware Checklist
    13. Clock Manager [templated]
    14. Cryptographically Secure Random Number Generator (CSRNG)
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    16. DMA
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    18. Entropy Distribution Network (EDN)
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    20. Entropy Source
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    22. Flash Controller [templated]
    23. Flash Macro Wrapper
      ❱
      1. Overview
    25. GPIO [templated]
    26. HMAC
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    28. I2C
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    30. Key Manager
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    32. Key Manager DPE
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    34. KMAC
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    36. Life Cycle Controller
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    38. Mailbox
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    40. One Time Programmable (OTP) Controller [templated]
    41. Pattern Generator
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    43. Pinmux [templated]
    44. Pulse Width Modulation (PWM) [templated]
    45. Power Management [templated]
    46. Register Access Control List (RACL) Control [templated]
      ❱
      1. RACL
    48. ROM Control
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    50. Reset Manager [templated]
    51. Ibex RISC-V Core Wrapper [templated]
    52. RISC-V Debug Manager
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
    54. Interrupt Controller [templated]
    55. Timer
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    57. SoC Debug Access Control
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
    59. SPI Device
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    61. SPI Host
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    63. SRAM Controller
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    65. System Reset Controller
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Hardware Interfaces
      5. Registers
      6. Device Interface Functions
      7. Hardware Checklist
      8. Software Checklist
    67. TL-UL Bus
      ❱
      1. Design Verification
        ❱
        1. Testplan
      3. Protocol Checker
    69. UART
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Hardware Interfaces
      6. Registers
      7. Device Interface Functions
      8. Hardware Checklist
      9. Software Checklist
    71. USB 2.0
      ❱
      1. Theory of Operation
      2. Design Verification
        ❱
        1. Testplan
      4. Programmer's Guide
      5. Suspending and Resuming
      6. Hardware Interfaces
      7. Registers
      8. Device Interface Functions
      9. Hardware Checklist
      10. Software Checklist
  34. Hardware Primitives
    ❱
    1. Keccak Permutation
    2. Linear Feedback Shift Register
    3. Packer
    4. Packer FIFO
    5. Present Scrambler
    6. Prince Scrambler
    7. Pseudo Random Number Generator
    8. SRAM Scrambler
    9. Pre-DV
      ❱
      1. Ascon Duplex Testbench
      2. Ascon Permutation Testbench
      3. CRC32 Testbench
      4. REQ/ACK Synchronizer Testbench
      5. Trivium/Bivium Testbench
  36. Common SystemVerilog and UVM Components
    ❱
    1. Comportable IP Testbench Architecture
    2. ALERT_ESC Agent
    3. Bus Params Package
    4. Common Interfaces
    5. CSR Utils
    6. CSRNG Agent
    7. DV Library Classes
    8. DV Utils
    9. I2C Agent
    10. JTAG Agent
    11. JTAG DMI Agent
    12. JTAG RISCV Agent
    13. KEY_SIDELOAD Agent
    14. KMAC_APP Agent
    15. Memory Backdoor Scoreboard
    16. Memory Backdoor Utility
    17. Memory Model
    18. PATTGEN Agent
    19. PUSH_PULL Agent
    20. PWM Monitor
    21. RNG Agent
    22. Scoreboard
    23. Simulation SRAM
    24. SPI Agent
    25. String Utils
    26. Test Vectors
    27. Tile Link Agent
    28. UART Agent
    29. USB20 Agent
  38. Vendored Hardware
  39. Reference Tops
    ❱
    1. Top Dragonfly
      ❱
      1. Datasheet
      2. Memory Map
      3. Pinout / Pinmux Tables
        ❱
        1. ASIC
      5. Analog Sensor Top
        ❱
        1. Registers
      7. SoC Proxy
      8. Access Control Range Check
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Hardware Interfaces
        6. Registers
        7. Hardware Checklist
        8. Software Checklist
      10. Alert Handler
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Interface and Registers
        7. Device Interface Functions
        8. Hardware Checklist
        9. Software Checklist
      12. Clock Manager
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Hardware Interfaces
        7. Registers
        8. Device Interface Functions
        9. Hardware Checklist
        10. Software Checklist
      14. GPIO
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Hardware Interfaces
        7. Registers
        8. Device Interface Functions
        9. Hardware Checklist
        10. Software Checklist
      16. One Time Programmable (OTP) Controller
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Hardware Interfaces
        7. Registers
        8. Device Interface Functions
        9. Hardware Checklist
        10. Software Checklist
      18. Pinmux
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Hardware Interfaces
        7. Registers
        8. Device Interface Functions
        9. Hardware Checklist
        10. Software Checklist
      20. Power Management
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Hardware Interfaces
        7. Registers
        8. Device Interface Functions
        9. Hardware Checklist
        10. Software Checklist
      22. Register Access Control List (RACL) Control
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Programmer's Guide
        4. Hardware Interfaces
        5. Registers
        6. RACL Configuration
      24. Reset Manager
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Hardware Interfaces
        7. Registers
        8. Device Interface Functions
        9. Hardware Checklist
        10. Software Checklist
      26. Ibex RISC-V Core Wrapper
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Hardware Interfaces
        7. Registers
        8. Device Interface Functions
        9. Hardware Checklist
        10. Software Checklist
      28. Interrupt Controller
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Interface and Registers
        7. Device Interface Functions
        8. Hardware Checklist
        9. Software Checklist
    3. Top Egret
      ❱
      1. Datasheet
      2. Memory Map
      3. Design
      4. Pinout / Pinmux Tables
        ❱
        1. ASIC
        2. CW310
        3. CW340
      6. Design Verification
        ❱
        1. Chip Testplan
      8. Analog Sensor Top
        ❱
        1. Hardware Interfaces
        2. Registers
      10. Sensor Control
        ❱
        1. Theory of Operation
        2. Programmer's Guide
        3. Hardware Interfaces
        4. Registers
        5. Device Interface Functions
        6. Hardware Checklist
        7. Software Checklist
      12. TL-UL Checklist
      13. Alert Handler
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Interface and Registers
        7. Device Interface Functions
        8. Hardware Checklist
        9. Software Checklist
      15. Clock Manager
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Hardware Interfaces
        7. Registers
        8. Device Interface Functions
        9. Hardware Checklist
        10. Software Checklist
      17. Flash Controller
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Hardware Interfaces
        7. Registers
        8. Device Interface Functions
        9. Hardware Checklist
        10. Software Checklist
      19. GPIO
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Hardware Interfaces
        7. Registers
        8. Device Interface Functions
        9. Hardware Checklist
        10. Software Checklist
      21. One Time Programmable (OTP) Controller
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Hardware Interfaces
        7. Registers
        8. Device Interface Functions
        9. Hardware Checklist
        10. Software Checklist
      23. Pinmux
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Hardware Interfaces
        7. Registers
        8. Device Interface Functions
        9. Hardware Checklist
        10. Software Checklist
      25. Pulse Width Modulation (PWM)
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Hardware Interfaces
        7. Registers
        8. Device Interface Functions
        9. Hardware Checklist
        10. Software Checklist
      27. Power Management
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Hardware Interfaces
        7. Registers
        8. Device Interface Functions
        9. Hardware Checklist
        10. Software Checklist
      29. Reset Manager
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Hardware Interfaces
        7. Registers
        8. Device Interface Functions
        9. Hardware Checklist
        10. Software Checklist
      31. Ibex RISC-V Core Wrapper
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Hardware Interfaces
        7. Registers
        8. Device Interface Functions
        9. Hardware Checklist
        10. Software Checklist
      33. Interrupt Controller
        ❱
        1. Template Configuration
        2. Theory of Operation
        3. Design Verification
          ❱
          1. Testplan
        5. Programmer's Guide
        6. Interface and Registers
        7. Device Interface Functions
        8. Hardware Checklist
        9. Software Checklist
  41. Verification Methodology
    ❱
    1. Security Countermeasure Verification Framework
    2. Formal Assertions
  44. Software
  45. Software Overview
    ❱
    1. Rust for C Developers
  47. Build Software
    ❱
    1. External dependencies
    2. Build & Test Rules
      ❱
      1. Overriding FPGA Bitstream Defaults
    4. Top selection
      ❱
      1. Top Description
      2. Creating a new top
  49. Device Software
    ❱
    1. Device Libraries
      ❱
      1. Standard Library
        ❱
        1. Freestanding C Headers
      3. Device Interface Function (DIF) Library
        ❱
        1. DIF Development
      5. Runtime Library
      6. Top-Level Test Libraries
        ❱
        1. On-Device Test Framework
        2. Test Boot ROM
      8. Crypto Library
    3. Silicon Creator Software
      ❱
      1. Boot Log
      2. Manufacturing Firmware
        ❱
        1. Test Plan
        2. Extensions
        3. Keys
          ❱
          1. Fake Keys
      4. ROM
        ❱
        1. ROM Specification
        2. Bootstrap
        3. Memory Protection
        4. Root Keys
        5. Signature Verification
          ❱
          1. Sigverify Test Generation
        7. Shutdown Specification
        8. Signoff Test Plan
        9. E2E tests
          ❱
          1. Test Plan
        11. Hooks
        12. Regenerating Fake Keys
      6. ROM_EXT
        ❱
        1. ROM_EXT for Silicon Validation
        2. ROM_EXT Ownership Transfer
        3. ROM_EXT Rescue Protocol
        4. Manifest Format
        5. E2E Tests
        6. Immutable Section
          ❱
          1. Prebuilts
        8. Keys
      8. Guidance for Silicon Creator Code
    5. Top-Level Tests
      ❱
      1. Manufacturer Test Hooks
      2. Cryptotest
        ❱
        1. SPHINCS+ Test Vectors
      4. Silicon Validation
        ❱
        1. Developer Guide
      6. Penetration Tests
  51. Host Software
    ❱
    1. OpenTitanLib
      ❱
      1. Bitbanging
    3. OpenTitanTool
    4. OpenTitanSession
    5. Certificate Generator
    6. Hardware Abstraction Layers
    7. Transports
    8. Hardware Security Module (HSM) tool
      ❱
      1. Requirements
    10. TPM2 Test Server
    11. USB Streaming Tests
    12. Penetration Test Utilities
  53. Vendored Software
  54. RISC-V toolchain
  56. Security
  57. Overview
  58. Threat Model
  59. Logical Security Model
  60. Specifications
    ❱
    1. Device Life Cycle
    2. Provisioning
    3. Secure Boot
    4. Identities and Root Keys
    5. Attestation
    6. Firmware Update
    7. Ownership Transfer
  62. Cryptographic Library
    ❱
    1. API
    2. Contributing
  64. Implementation Guidelines
    ❱
    1. Hardware Implementation
    2. Reset/Non-Reset Flops
  67. Tooling
  68. Tooling Reference
  69. Architectural Composition Engine
    ❱
    1. topgen: Top Generator
    2. ipgen: Generate IP Blocks from IP Templates
    3. reggen & regtool: Register Generator
      ❱
      1. Setup and use of regtool
    5. tlgen: Crossbar Generation
    6. uvmdvgen: Initial Testbench Auto-generation
    7. fpvgen: Initial FPV Testbench Generation
    8. dtgen: Generate Device Tables
    9. ralgen: RAL Model Generation
    10. Design-Related Tooling
    11. i2csvg: Generate SVGs of I2C Commands
      ❱
      1. SMBus
  71. dvsim
    ❱
    1. Design Document
    2. Testplanner
    3. Glossary
    4. testplantool: Read and Edit Testplans
  73. vendor: Vendoring In Tool
  74. Building Documentation
  75. Docker Container