safety-net 0.10.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
27
28
29
30
31
32
33
34
35
36
37

use safety_net::Identifier;

#[test]
fn concat_simple() {
    let id0 = Identifier::new("id0".to_string());
    let id1 = Identifier::new("id1".to_string());
    let id2 = id0 + id1;
    assert_eq!(Identifier::new("id0_id1".to_string()), id2);
}

#[test]
fn concat_simple_w_sliced() {
    let id0 = Identifier::new("id0".to_string());
    let id1 = Identifier::new("id[1]".to_string());
    let id2 = id0 + id1;
    assert_eq!(Identifier::new("id0_id_1".to_string()), id2);
    assert!(!id2.is_escaped());
}

#[test]
fn concat_simple_w_escaped() {
    let id0 = Identifier::new("id0".to_string());
    let id1 = Identifier::new("id1$".to_string());
    let id2 = id0 + id1;
    assert_eq!(Identifier::new("\\id0_id1$".to_string()), id2);
    assert!(id2.is_escaped());
}

#[test]
fn aig_id() {
    let id0 = Identifier::new("1".to_string());
    assert!(id0.is_escaped());
    let id1 = Identifier::new("inv".to_string());
    let id2 = id0 + id1;
    assert_eq!(Identifier::new("\\1_inv".to_string()), id2);
    assert!(id2.is_escaped());
}