liberty-db

Highlight Features

• Support all liberty attributes with typed datastructure, rather than syntax tree (AST) only, in the definition of Liberty Version R-2020.09, September 2020
• Support liberty boolean expression syntax, use binary decesion diagram (BDD) to identify (hashing)
• Parser & formatter are implemented by static macros, providing a good preformance and tiny ~3MB parser & formatter binary. See benchmark summary
• Support generics user-defined context for library, cell, and more.
• Support define define_group user-defined attributes
• Verified with library-complier, well defined document, and examples provided

Usage

This library is implemented in Rust, with document.

[dependencies]
liberty_db = "0.9"

One basic demo here:

use liberty_db::{DefaultCtx, Library};
use std::{
  fs::File,
  io::{BufWriter, Write},
};
static TEMPLATE: &str = r#"
library(demo) {
  time_unit : "1ps";
  voltage_unit : "10mV";
  current_unit : "1uA";
  operating_conditions ( typical ) {
      process : 1;
      voltage : 1.1;
  }
  lu_table_template(delay_template_4x5) {
    variable_1 : total_output_net_capacitance;
    variable_2 : input_net_transition;
    index_1 ("1000.0, 1001.0, 1002.0, 1003.0");
    index_2 ("1000.0, 1001.0, 1002.0, 1003.0, 1004.0");
  }
  cell (DFF) {
    pin (D) {}
    pin (CK) {}
    pin (Q) {}
  }
}"#;
fn main(){
  let mut library = Library::<DefaultCtx>::parse_lib(TEMPLATE).unwrap();
  // modify library
  library.cell.get_mut("DFF").map(|cell_dff| {
    cell_dff
      .pin
      .get_mut("CK".into())
      .map(|pin_ck| pin_ck.clock = Some(true))
  });
  // print library
  println!("{library}");
  // write library
  let out_file = File::create("demo.lib").unwrap();
  let mut writer = BufWriter::new(out_file);
  write!(&mut writer, "{}", library).unwrap();
}

See more examples, and run them if you clone this repo:

# example0
cargo run --example 0_parse_fmt
# example1
cargo run --example 1_parse_fmt_file -- dev/tech/cases/ocv.lib
# example2
cargo run --example 2_prune_lib -- dev/tech/cases/ocv.lib
# example3
cargo run --example 3_lookup_timing

Or you can download the releases/latest/examples.zip, then

cd ./examples_x86_64-unknown-linux-musl
# example0
./0_parse_fmt
# example1
./1_parse_fmt_file dev/tech/cases/ocv.lib
# example2
./2_prune_lib dev/tech/cases/ocv.lib
# example3
./3_lookup_timing

Benchmark

Basic information as follow, see latest benchmark summary.

Project Comparison

Project	Lang	Version	Type Support			Boolean Expression	Comment
			All	Partly	AST only
liberty-db	rust	latest	✓			✓	current version
si2dr_liberty	C	1.0	✓			✓	Synopsys's version at 2005, many attributes are not supported
OpenTimer	C++17	2		✓		✓	STA tool's liberty component
liberty-io	rust	0.0.4			✓
libertyparse	rust	0.3.0		✓		✓
liberty2json	rust	0.1.0			✓

Dev

Run unit-test and regression.

cargo test --release

Run benchmark, it will takes 40mins.

cargo bench --package dev --bench benchmark --features bench

TODO

• Parse: use nom_locate
• Parse: check all rules
• Parse: Linked Group
• Parse: async
• CI: only do comparsion after tag new version
• MISC: bitcode support