Lib.rs

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:

1. The truth table is related to every output pin, instead of every cell.
2. 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.
3. 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.