safety-net 0.14.0

A reference-counted netlist library for EDA tools
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

use safety_net::{Gate, Netlist, dont_touch_filter};

fn and_gate() -> Gate {
    Gate::new_logical("AND".into(), vec!["A".into(), "B".into()], "Y".into())
}

fn main() {
    let netlist = Netlist::new("example".into());

    // Add the the two inputs
    let a = netlist.insert_input("a".into());
    let b = netlist.insert_input("b".into());

    // Instantiate an AND gate
    let instance = netlist
        .insert_gate(and_gate(), "inst_0".into(), &[a, b])
        .unwrap();

    // Make this AND gate an output
    instance.set_attribute("dont_touch".to_string());
    instance.expose_with_name("y".into());

    for nr in dont_touch_filter(&netlist) {
        println!("Don't touch: {nr}");
    }
}