logic-circus 0.3.0

Open source logic circuit simualtor written in Rust.
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
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112

use std::collections::HashMap;

use crate::{Component, Gate, GateLike};

use super::*;

macro_rules! table {
    ($($($key:expr),* $(,)? => $($value:expr),* $(,)? );* $(;)?) => {{
        let mut map = HashMap::new();
        $(map.insert(vec![$($key),*], vec![$($value),*]);)*
        map
    }};
}

fn check(mut component: Component, truth_table: HashMap<Vec<Bit>, Vec<Bit>>) {
    for (input, output) in truth_table {
        // SAFETY: I wrote this so it must be safe
        assert_eq!(unsafe { component.compute(input) }, output);
        component.reset(false);
    }
}

fn component(gate: Gate) -> Component {
    Component::single_gate(gate, 2)
}

#[test]
fn nand() {
    check(
        component(Gate::nand()),
        table! {
                false, false => true;
                false, true => true;
                true, false => true;
                true, true => false;
        },
    )
}

#[test]
fn dup() {
    check(
        Component::single_gate(Gate::dup(3), 3),
        table! {
            false => false, false, false;
            true => true, true, true;
        },
    )
}

#[test]
fn not() {
    check(
        component(Gate::not()),
        table! {
            true => false;
            false => true;
        },
    )
}

#[test]
fn and() {
    check(
        component(Gate::and()),
        table! {
            false, false => false;
            false, true => false;
            true, false => false;
            true, true => true;
        },
    )
}

#[test]
fn or() {
    check(
        component(Gate::or()),
        table! {
            false, false => false;
            false, true => true;
            true, false => true;
            true, true => true;
        },
    )
}

#[test]
fn nor() {
    check(
        component(Gate::nor()),
        table! {
            false, false => true;
            false, true => false;
            true, false => false;
            true, true => false;
        },
    )
}

#[test]
fn xor() {
    check(
        component(Gate::xor()),
        table! {
            false, false => false;
            false, true => true;
            true, false => true;
            true, true => false;
        },
    )
}