Renode - documentation

Introduction

• Installing Renode
• Using Renode
  • Running and quitting Renode
  • Monitor (Renode CLI)
  • Basic interactive workflow
  • .resc scripts
• Running your first demo
• Supported boards
• Supported peripherals
• Troubleshooting
• Testing with Renode
  • Renode’s testing capabilities
  • Running the robot test script
  • Creating the test file
  • Advanced usage
• Paths
  • Passing paths to files
  • Path configuration
  • Relative paths
  • Paths in Robot files

Basic usage

• Working with machines
  • Creating machines
  • Switching between machines
  • Loading platforms
  • Accessing and manipulating peripherals
  • Loading binaries
  • Clearing the emulation
• Describing platforms
  • Defining peripherals
  • Connecting peripherals
  • Including files
• Basic execution control
  • Starting and pausing the execution
  • Executing instruction-by-instruction
  • Blocking and non-blocking stepping
  • Inspecting current location
• Using the logger
  • Logging level
  • Logging to file
  • Logging access to peripherals
• State saving and loading
• Environment
  • Creating an environment
  • Adding sensors to an environment
  • Accessing the readings of a sensor
• Metrics analyzer
  • Profiling
  • Visualizing
• Running Renode in different modes
  • Telnet mode
  • Headless mode
  • Console mode
  • UART interactions in the Monitor

Debugging

• Debugging with GDB
  • Connecting to GDB
  • Starting emulation
  • Complex scenarios

Networking

• Setting up a wired network
  • Creating a switch
  • Connecting interfaces
  • Disconnecting interfaces
  • Starting the interface
  • Controlling the traffic
• Setting up a wireless network
  • Creating a wireless medium
  • Connecting interfaces
  • Disconnecting interfaces
  • Positioning the nodes
  • Controlling the traffic
• Connecting to the host network
  • Regarding time flow
  • Opening a TAP interface
  • Connecting TAP interface switch
  • Starting the interface
• Inspecting the traffic with Wireshark
  • Logging the whole traffic
  • Observing a specific interface
• UART-based connections
  • Creating a hub
  • Connecting UART devices
  • Disconnecting UART devices
  • Running the simulation

Host integration

• UART integration
  • UART pty terminal
  • Socket terminal
• Arduino IDE/CLI integration
  • Installing TensorFlow examples
  • Configuring Renode
  • Loading from Arduino IDE
  • Loading from Arduino CLI
  • Starting the simulation

Tutorials

• Microsemi Mi-V example
  • Installation
  • Starting Renode
  • Scripts
  • Loading our setup
  • Simple commands
  • Debugging and inspection
  • SoftConsole integration
• Testing Zephyr PTP support
  • Prerequisites
  • The test suite
  • Running the test
• Renode, Fomu and EtherBone bridge example
  • System architecture
  • Prerequisites
  • Verifying the device
  • Loading the bitstream (optional)
  • Running the demo
• USB/IP support
  • USB/IP protocol
  • Creating a USB/IP server
  • Exporting devices
  • Attaching exported device to host
  • Real life scenario: Foboot
• Co-simulating HDL models
  • Integration layer
  • Creating a ‘verilated’ peripheral
  • Building a ‘verilated’ peripheral
  • Running a ‘verilated’ peripheral
  • Core-v-mcu “Hello World” example with ‘verilated’ UART
  • Verilator Trace

Advanced topics

• Building Renode from source
  • Prerequisites
  • Downloading the source code
  • Building Renode
  • Creating packages
• Platform description format
  • Indentation
  • Comments
  • Basic structure
  • Depending on other files
  • Values
  • Registration info
  • Attributes
  • Inline objects
• Time framework
  • Time and performance units
  • Time sources and sinks
  • Synchronization
  • Time domain
  • Configuration and monitoring
  • CPU pausing vs. halting
• Peripheral modeling guide
  • How does access to the system bus work?
  • What if there is no peripheral mapped at given offset?
  • What happens when the peripheral does not implement the given access width?
  • Writing a peripheral model in C#
  • Register modeling guidelines
  • Bus peripheral size
  • Testing guidelines
  • Example peripherals