# HACKT PRSIM Manual

## Short Contents

- PRSIM Manual Outline
- 1 Introduction
- 2 Usage
- 3 Commands
- 4 Execution
- 5 Diagnostics
- 6 Co-simulation
- 7 Tips
- Command Index
- Concept Index

## Table of Contents

- PRSIM Manual Outline
- 1 Introduction
- 2 Usage
  - 2.1 General Flags
  - 2.2 Optimization Flags
- 3 Commands
  - 3.1 Built-in Commands
  - 3.2 General Commands
  - 3.3 `simulation` Commands
  - 3.4 `channel` Commands
  - 3.5 `info` Commands
  - 3.6 `view` Commands
  - 3.7 `modes` Commands
  - 3.8 `tracing` Commands
  - 3.9 `debug` Commands
- 4 Execution
- 5 Diagnostics
  - 5.1 Interactive Diagnostics
  - 5.2 Delay-insensitivity Violations
  - 5.3 Exclusion Violations
  - 5.4 Channel Diagnostics
  - 5.5 Fatal Diagnostics
- 6 Co-simulation
  - 6.1 Verilog PLI Setup
  - 6.2 VPI Basics
  - 6.3 VPI Example
  - 6.4 VPI with Channels
  - 6.5 Hierarchical co-simulation
  - 6.6 VPI Hacker's Guide
- 7 Tips
  - 7.1 Interactive mode
  - 7.2 Scripting
- Command Index
- Concept Index

Next: Introduction, Up: (dir)

## PRSIM Manual Outline

This manual describes the usage and operation of HACKT's prsim simulator.

This document can also be found online at http://www.csl.cornell.edu/~fang/hackt/hacprsim.

The main project home page is http://www.csl.cornell.edu/~fang/hackt/.

Copyright © 2007 Cornell University

> Published by ...

> Permission is hereby granted to ...