celox 0.8.1

Celox HDL Simulator
Documentation
#[path = "test_utils/mod.rs"]
#[macro_use]
mod test_utils;

all_backends! {

    // Simple counter: increment on each tick, reset to 0
    fn test_counter_n4_basic(sim) {
        @ignore_on(sv);
        @case "counter::test_counter_n4_basic";
    }

    // Large counter array (similar to bench)
    fn test_counter_n100_wrap(sim) {
        @ignore_on(sv);
        @case "counter::test_counter_n100_wrap";
    }

    fn test_phase_state_ssa_preserves_eval_before_apply_and_four_state(sim) {
        @ignore_on(veryl, sv);
        @case "counter::test_phase_state_ssa_preserves_eval_before_apply_and_four_state";
    }
}