celox 0.9.0

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;

all_backends! {

    // Two independent clock domains: each FF only advances on its own clock.
    fn test_independent_clock_domains(sim) {
        @ignore_on(sv);
        @case "multi_clock::test_independent_clock_domains";
    }

    // A counter in one clock domain feeding into another (CDC pattern).
    // Tests that domains are truly independent.
    fn test_clock_domain_crossing_pattern(sim) {
        @ignore_on(sv);
        @case "multi_clock::test_clock_domain_crossing_pattern";
    }

    // FF with separate clocks and separate resets.
    fn test_separate_resets_per_domain(sim) {
        @case "multi_clock::test_separate_resets_per_domain";
    }
}