libertyparse 0.3.0

Liberty cell library parser
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

//! Formatting of liberty object.
//! currently only function (LogicExpr) is supported.

use super::*;
use std::fmt::{ Display, Formatter, Result };

impl Display for LogicExpr {
    #[inline]
    fn fmt(&self, f: &mut Formatter) -> Result {
        let mut stack = Vec::<String>::new();
        for inst in &self.compiled {
            use LogicExprInst::*;
            match inst {
                PushVar(var) => stack.push(var.as_str().into()),
                PushConst(b) => stack.push(format!("{}", *b as u8)),
                Op(op) => match op {
                    b'&' | b'|' | b'^' => {
                        let b = stack.pop().unwrap();
                        let a = stack.pop().unwrap();
                        stack.push(format!("({}{}{})", a, *op as char, b))
                    },
                    b'!' => {
                        let a = stack.pop().unwrap();
                        stack.push(format!("!{}", a))
                    },
                    _ => unreachable!()
                }
            }
        }
        assert_eq!(stack.len(), 1);
        write!(f, "{}", stack.pop().unwrap())
    }
}

#[test]
fn test_logicexpr_format() {
    use LogicExprInst::*;
    assert_eq!(format!("{}", LogicExpr {
        compiled: vec![PushVar("a".into()), PushVar("b".into()), Op(b'&')]
    }), "(a&b)");
    assert_eq!(format!("{}", LogicExpr {
        compiled: vec![PushVar("a".into()), Op(b'!'),
                       PushVar("b".into()), Op(b'&'),
                       PushVar("c".into()), Op(b'^'),
                       PushConst(true), Op(b'|')]
    }), "(((!a&b)^c)|1)");
}