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, employ binary decesion diagram (BDD) to identify (hashing)
• Parser & formatter are implemented by static macros, providing a decent preformance and tiny ~3MB parser & formatter binary. See benchmark summary
• 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.7"

You can run examples with commands:

# 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

Benchmark

Basic information as follow, see latest benchmark summary.

Project Comparison

Self Regression

Dev

Run unit-test and regression.

cargo test
cargo test --package dev

Run benchmark, it will takes 5h.

cargo bench --bench dev

TODO

• Reconstruction:

  • parser to GroupBuilder, e.g., use Vec to store GroupSet, no comment attribute
  • build/link GroupBuilder to Group, providing parent's scope, e.g.
    • all Pin name set to build BDD
    • supper group like timing::TimingTableLookUp
    • check all rules

• Parse:

  • Only Vec<NotNan<f64>> and Value complex attributes need quotes vector, use fast_float2::parse_partial
  • Fix error when make_golden
    • intrinsic_parasitic group
    • leakage_current group
    • dynamic_current group
  • async
  • stream input

• CI:

  • only do comparsion after tag new version
  • fast regression self in build.yml

• Other:

  • BDD use ArcStr
  • Linked Group
  • like IndexMap, only sort once and store
  • bitcode support

• Finished

  • user define
  • remove GroupWapper, ComplexWapper, SimpleWapper. At leaset remove it in parser and formatter
  • fix missing newline at endding
  • recursive parse boolean expression
  • macros
  • format to liberty
  • support multi-line \
  • support comment
  • Use MutSet to store GroupMap