Welcome to Verisocks

You are reading the documentation for Verisocks, a generic TCP socket server interface over VPI, originally intended to be used as an interface for the Icarus verilog simulator.

https://github.com/jchabloz/verisocks

Features

• Easy to integrate within any existing verilog testbench (only one system task to be called within the top-level initial statement)

• Verisocks interfaces with the simulator simply via a standard TCP socket with a JSON-based protocol

• Using this interface, Verisocks allows to control the simulation and probe its status by:

  • instructing the simulator to run for a given amount of time,

  • instructing the simulator to run until a given simulation time,

  • instructing to run the simulator until a certain event,

  • reading or writing simulator variables,

  • getting the current simulation time,

  • etc…

Contents

• Introduction
  • Quick start
  • Motivation
  • Alternative simulators
• Architecture
  • Overview
  • TCP socket
  • Shared execution focus
  • The $verisocks_init() PLI system task
• TCP protocol
  • Frames format
  • Commands
• Python client
  • Python client API documentation
  • Miscellaneous utilitaries

• Release notes

Indices and tables

• Index

• Module Index

• Search Page