celox 0.10.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

#[path = "test_utils/mod.rs"]
#[macro_use]
mod test_utils;

// LFSR Galois has no reset port -- uses i_set for initialization.
// The Top module wraps it with a clock but no reset connection.

all_backends! {

    // Basic LFSR: seed then shift, verify output changes
    fn test_lfsr_basic_shift(sim) {
        @case "std_lfsr::test_lfsr_basic_shift";
    }

    // Cycle detection: LFSR should produce a deterministic repeating cycle
    fn test_lfsr_deterministic_cycle(sim) {
        @case "std_lfsr::test_lfsr_deterministic_cycle";
    }

    // LFSR disabled (i_en=0) should hold its value
    fn test_lfsr_enable_hold(sim) {
        @case "std_lfsr::test_lfsr_enable_hold";
    }
}