reda-lib 0.7.1

Liberty file library
Documentation

library(cells) {    
    cell (DFF) {
        ff (FF) {
           next_state: "D";
           clocked_on: "CLK";
           clear: "!CLR";
        }
        pin (CLK) {
            direction: input;
            clock: true;
        }
        pin (CLR) {
            direction: input;
        }
        pin (D) {
            direction: input;
        }
        pin (Q) {
            direction: output;
            function: "FF";
        }
    }
    cell (AND2) {
        area : 1;
        pin(a) {
            direction: input;
        }
        pin(b) {
            direction: input;
        }
        pin(o) {
            function : "(A & B)";
            direction: output;
        }
    }
    cell (NAND2) {
        area : 1;
        pin(a) {
            direction: input;
        }
        pin(b) {
            direction: input;
        }
        pin(o) {
            function : "!(A & B)";
            direction: output;
        }
    }
    cell (OR2) {
        area : 1;
        pin(a) {
            direction: input;
        }
        pin(b) {
            direction: input;
        }
        pin(o) {
            function : "(A + B)";
            direction: output;
        }
    }
    cell (NOR2) {
        area : 1;
        pin(a) {
            direction: input;
        }
        pin(b) {
            direction: input;
        }
        pin(o) {
            function : "!(A + B)";
            direction: output;
        }
    }
}