Command Index

• #: Built-in Commands
• $from_prsim: VPI Basics
• $prsim: VPI Basics
• $prsim_cmd: VPI Basics
• $prsim_default_after: VPI Basics
• $prsim_get: VPI Basics
• $prsim_mkrandom: VPI Basics
• $prsim_resetmode: VPI Basics
• $prsim_set: VPI Basics
• $prsim_sync: VPI Basics
• $prsim_watch: VPI Basics
• $to_prsim: VPI Basics
• abort: Built-in Commands
• addpath: General Commands
• advance: Simulation Commands
• alias: Built-in Commands
• aliases: Built-in Commands
• allrings-chk: Info Commands
• allrings-mk: Info Commands
• allrules: Info Commands
• allrules-verbose: Info Commands
• assert: Info Commands
• assert-fail: Modes Commands
• assert-pending: Info Commands
• assert-queue: Info Commands
• assertn: Info Commands
• assertn-queue: Info Commands
• attributes: Info Commands
• autosave: Tracing Commands
• backtrace: Info Commands
• breakpt: Simulation Commands
• breaks: Simulation Commands
• cause: View Commands
• cd: Built-in Commands
• channel: Channel Commands
• channel-assert-value-queue: Channel Commands
• channel-close: Channel Commands
• channel-close-all: Channel Commands
• channel-expect: Channel Commands
• channel-expect-args: Channel Commands
• channel-expect-fail: Modes Commands
• channel-expect-file: Channel Commands
• channel-expect-file-loop: Channel Commands
• channel-expect-loop: Channel Commands
• channel-heed: Channel Commands
• channel-heed-all: Channel Commands
• channel-ignore: Channel Commands
• channel-ignore-all: Channel Commands
• channel-log: Channel Commands
• channel-release: Channel Commands
• channel-release-all: Channel Commands
• channel-report-time: Channel Commands
• channel-reset: Channel Commands
• channel-reset-all: Channel Commands
• channel-rsource: Channel Commands
• channel-show: Channel Commands
• channel-show-all: Channel Commands
• channel-sink: Channel Commands
• channel-source: Channel Commands
• channel-source-args: Channel Commands
• channel-source-file: Channel Commands
• channel-source-file-loop: Channel Commands
• channel-source-loop: Channel Commands
• channel-stop: Channel Commands
• channel-stop-all: Channel Commands
• channel-timing: Channel Commands
• channel-unwatch: Channel Commands
• channel-unwatchall: Channel Commands
• channel-watch: Channel Commands
• channel-watchall: Channel Commands
• check-invariants: Info Commands
• check-queue: Debug Commands
• check-structure: Debug Commands
• checkexcl: Modes Commands
• checkexcl-fail: Modes Commands
• comment: Built-in Commands
• confirm: View Commands
• cycle: Simulation Commands
• dirs: Built-in Commands
• echo: Built-in Commands
• echo-commands: Built-in Commands
• eval-order: Modes Commands
• execute: Simulation Commands
• exit: Built-in Commands
• fanin: Info Commands
• fanin-get: Info Commands
• fanout: Info Commands
• fanout-get: Info Commands
• frame-cache-dump: Modes Commands
• frame-cache-half-life: Modes Commands
• frame-cache-halve: Modes Commands
• get: Info Commands
• getall: Info Commands
• getlocal: Info Commands
• getports: Info Commands
• help: Built-in Commands
• initialize: Simulation Commands
• interference: Modes Commands
• interpret: Built-in Commands
• invariant-fail: Modes Commands
• invariant-unknown: Modes Commands
• load: Tracing Commands
• ls: Info Commands
• memstats: Debug Commands
• mode: Modes Commands
• nobreakpt: Simulation Commands
• nobreakptall: Simulation Commands
• nocause: View Commands
• nocheckexcl: Modes Commands
• noconfirm: View Commands
• norandom: Modes Commands
• notcounts: View Commands
• nowatch-queue: View Commands
• nowatchall: View Commands
• nowatchall-queue: View Commands
• paths: General Commands
• popd: Built-in Commands
• pushd: Built-in Commands
• pwd: Built-in Commands
• queue: Info Commands
• quit: Built-in Commands
• random: Modes Commands
• repeat: Built-in Commands
• reschedule: Simulation Commands
• reschedule-from-now: Simulation Commands
• reschedule-now: Simulation Commands
• reschedule-relative: Simulation Commands
• reset: Simulation Commands
• rings-chk: Info Commands
• rings-mk: Info Commands
• rules: Info Commands
• rules-verbose: Info Commands
• save: Tracing Commands
• seed48: Modes Commands
• set: Simulation Commands
• setf: Simulation Commands
• setr: Simulation Commands
• setrf: Simulation Commands
• source: General Commands
• status: Info Commands
• status-interference: Info Commands
• status-newline: Info Commands
• status-weak-interference: Info Commands
• step: Simulation Commands
• step-event: Simulation Commands
• tcount: Info Commands
• tcounts: View Commands
• time: Info Commands
• timing: Modes Commands
• trace: Tracing Commands
• trace-close: Tracing Commands
• trace-dump: Tracing Commands
• trace-file: Tracing Commands
• trace-flush-interval: Tracing Commands
• trace-flush-notify: Tracing Commands
• unalias: Built-in Commands
• unaliasall: Built-in Commands
• unbreak: Simulation Commands
• unbreakall: Simulation Commands
• unknown-fanout: Info Commands
• unknown-inputs: Info Commands
• unknown-inputs-fanout: Info Commands
• unknown-outputs: Info Commands
• unknown-undriven-fanin: Info Commands
• unset: Simulation Commands
• unsetall: Simulation Commands
• unstable: Modes Commands
• unstable-dequeue: Modes Commands
• unstable-unknown: Modes Commands
• unused-nodes: Info Commands
• unwatch: View Commands
• watch: View Commands
• watch-queue: View Commands
• watchall: View Commands
• watchall-queue: View Commands
• watches: View Commands
• weak-interference: Modes Commands
• weak-rules: Modes Commands
• weak-unstable: Modes Commands
• what: Info Commands
• who: Info Commands
• who-newline: Info Commands
• why: Info Commands
• why-1: Info Commands
• why-1-verbose: Info Commands
• why-N: Info Commands
• why-N-verbose: Info Commands
• why-not: Info Commands
• why-not-1: Info Commands
• why-not-1-verbose: Info Commands
• why-not-N: Info Commands
• why-not-N-verbose: Info Commands
• why-not-verbose: Info Commands
• why-verbose: Info Commands
• why-x: Info Commands
• why-x-1: Info Commands
• why-x-1-verbose: Info Commands
• why-x-N: Info Commands
• why-x-N-verbose: Info Commands
• why-x-verbose: Info Commands
• zerotcounts: View Commands