llhd-sim

Moved: llhd-sim is now part of the llhd repository and crate. This repository will no longer be updated.

This is the reference simulator for llhd, striving to be complete but as minimal as possible. Its goal is to serve as a starting point for developing more sophisticated simulators for hardware written in llhd. As a secondary goal it acts as an application example of llhd.

Usage

Installation

You need a working Rust installation. Use cargo to install llhd-sim:

cargo install llhd-sim

Example

Given the following input file:

// foo.llhd
proc @foo () (i32$ %out) {
%entry:
    drv %out 0 1ns
    drv %out 42 2ns
    %0 = add i32 9000 1
    drv %out %0 3ns
    halt
}

Use llhd-sim to simulate the described hardware and produce a VCD file:

llhd-sim foo.llhd
gtkwave /tmp/output.vcd