Expand description
A logic library containing the compiled truth tables of a VLSI cell library.
We accept parsed Liberty file (libertyparse::Liberty) as
input, and will output a flattened truth table list.
The truth table is special in that: 0. The truth table is related to every output pin, instead of every cell.
- Both sequential and combinational elements can be modeled. Sequential elements have internal states. The state transition can be either modeled by R/F events (e.g., flip-flops), or pure 0/1 states (e.g., latches), or any their combination.
- There are 5 basic states: 0, 1, X, Z, UNK. UNK stands for unknown input. In reality, it can be any of 0, 1, X, Z. For FF clock pins, we have 7 basic states, the above 5 + R, F.
Structs
Enums
The inputs and outputs of logic.