Hello World

Let’s write your first Ted program. These examples use the timed hardware modeling library; core code looks like normal systems code and does not use @.

The Simplest Program

Create a file called hello.ted:

mod hello {
    print("Hello from Ted!");
}

This prints a message to the terminal.

TODO: print is a prototype intrinsic and currently only accepts literal strings or integers.

Check the Program

ted check hello.ted

If there are no errors, you’ll see:

No errors found.

Compile (Prototype)

You can produce a native executable with the prototype Cranelift backend:

ted compile hello.ted --emit exe -o ./hello
./hello

You should see:

Hello from Ted!

TODO: Lower real program semantics into codegen; the current backend only supports literal print(...) calls.

A Blinking LED

A more interesting example - an LED that toggles every 500ms:

mod blink {
    out led: bit,

    loop {
        led = !led @ +500ms;
    }
}

This demonstrates:

• out led: bit - an output signal
• loop { ... } - continuous execution
• !led - toggle the current value
• @ +500ms - schedule the change 500ms in the future

A Counter

A classic 8-bit counter:

mod counter {
    in  clk: bit,
    in  reset: bit,
    out count: u8,

    on rising(clk) {
        if reset {
            count = 0;
        } else {
            count = count + 1;
        }
    }
}

This demonstrates:

• Multiple ports (in and out)
• on rising(clk) - react to clock edges
• Conditional logic with if/else

Using Past Values

Detect a rising edge manually:

mod edge_detect {
    in  signal: bit,
    out rising: bit,

    on change(signal) {
        rising = signal && !(signal @ -1);
    }
}

The @ -1 reads the signal’s value from one cycle ago. This is only legal for temporal values like ports and module state.

Next Steps

• Syntax Overview - Learn the full syntax
• Time and @ - Master the timing model
• Examples - More complete examples