celox 0.3.1

Celox HDL Simulator
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86

//! Dump SIR, CLIF (pre/post opt), and native code for Linear SEC P=6.
//! Usage: cargo run -p celox --example dump_linear_sec_ir

use celox::Simulator;

#[path = "../tests/fixtures/veryl_std.rs"]
mod veryl_std;

fn linear_sec_source() -> String {
    format!(
        "{}\n{}\n{}",
        veryl_std::source(&["coding", "linear_sec_encoder.veryl"]),
        veryl_std::source(&["coding", "linear_sec_decoder.veryl"]),
        r#"
module Top #(
    param P: u32 = 6,
    const K: u32 = (1 << P) - 1,
    const N: u32 = K - P,
)(
    i_word     : input  logic<N>,
    o_codeword : output logic<K>,
    o_word     : output logic<N>,
    o_corrected: output logic,
) {
    inst u_enc: linear_sec_encoder #(
        P: P,
    ) (
        i_word,
        o_codeword,
    );
    inst u_dec: linear_sec_decoder #(
        P: P,
    ) (
        i_codeword: o_codeword,
        o_word,
        o_corrected,
    );
}
"#
    )
}

fn main() {
    let trace_result = Simulator::builder(&linear_sec_source(), "Top")
        .trace_post_optimized_sir()
        .trace_pre_optimized_clif()
        .trace_post_optimized_clif()
        .trace_native()
        .build_with_trace();

    let trace = &trace_result.trace;

    if let Some(sir) = trace.format_post_optimized_sir() {
        std::fs::write("linear_sec_p6_sir.txt", &sir).unwrap();
        println!("SIR: {} bytes → linear_sec_p6_sir.txt", sir.len());
    }

    if let Some(ref clif) = trace.pre_optimized_clif {
        std::fs::write("linear_sec_p6_clif_pre.txt", clif).unwrap();
        println!(
            "CLIF pre-opt: {} bytes → linear_sec_p6_clif_pre.txt",
            clif.len()
        );
    }

    if let Some(ref clif) = trace.post_optimized_clif {
        std::fs::write("linear_sec_p6_clif_post.txt", clif).unwrap();
        println!(
            "CLIF post-opt: {} bytes → linear_sec_p6_clif_post.txt",
            clif.len()
        );
    }

    if let Some(ref native) = trace.native {
        std::fs::write("linear_sec_p6_native.txt", native).unwrap();
        println!("Native: {} bytes → linear_sec_p6_native.txt", native.len());
    }

    // Sanity check
    let mut sim = trace_result.res.unwrap();
    let i_word = sim.signal("i_word");
    let o_word = sim.signal("o_word");
    sim.modify(|io| io.set(i_word, 42u64)).unwrap();
    let out: u64 = sim.get_as(o_word);
    println!("Sanity check: input=42, output={}", out);
}