slack_tools_cpp

cpp analysis slack tools

Usage

the binary file located in build/slack_tool

./build/slack_tool ${yml_file_path}

the yml file is used to config the compare/analysis flow, the format is like this:

yml format

compare rpts

mode: compare
rpts:
  leda0: {path: "rpt/leda_rpts/z80_core_top_N7_LEC_allpath.rpt.gz", type: "leda"}
configs:
  compare_mode: endpoint # [endpoint, startpoint, start_end, full_path]
  analyse_tuples:
    - ["leda0", "leda0"]
  slack_margins: [0.01, 0.03, 0.05, 0.1, 1]
  match_percentages: [0.01, 0.03, 0.1, 0.5, 1]
  output_dir: output

Compare result will located in ${output_dir}/${compare_mode}_${match_paths}.csv

cell in def check

mode: cell in def
rpts:
  invs0: {path: "rpt/invs_rpts/z80_core_top_N7_LEC_preCTS_popt.tarpt.gz", type: "invs", def: "rpt/defs/z80_core_top_N7_LEC_placeOpt.def"}
configs:
  output_dir: output
  analyse_tuples:
    - [invs0]

arc analyse

analyse cell arc and net arc independently

mode: arc analyse
rpts:
  invs0:
    path: rpt/invs_rpts/axi4lscope.simple.gz
    type: invs
  leda:
    path: rpt/leda_rpts/z80_core_top_N7_LEC_allpath.rpt.gz
    type: leda
configs:
  output_dir: output
  analyse_tuples:
    - ["leda", "leda"]
  delay_filter: x >= 0 # filter for delay

pair analyse

pair cell arc and next net arc and analyse together

mode: pair analyse
rpts:
  invs0:
    path: rpt/invs_rpts/axi4lscope.simple.gz
    type: invs
  leda:
    path: rpt/leda_rpts/z80_core_top_N7_LEC_allpath.rpt.gz
    type: leda
configs:
  output_dir: output
  analyse_tuples:
    - ["leda", "leda"]
  delay_filter: x >= 0 # filter for delay

path analyse

mode: path analyse
rpts:
  invs0:
    path: rpt/invs_rpts/axi4lscope.simple.gz
    type: invs
  leda:
    path: rpt/leda_rpts/z80_core_top_N7_LEC_allpath.rpt.gz
    type: leda
configs:
  output_dir: output
  enable_super_arc: True
  enable_ignore_filter: True
  analyse_tuples:
    - - leda
      - leda

explain of config

Common Attributes Across YAML Modes

1. Global Structure:

   • Each YAML file contains a mode key to define the type of analysis or comparison.
   • A rpts section is used to specify report paths and their types.
   • A configs section defines configuration parameters for the specified mode.

2. Shared Configurations:

   • output_dir: Specifies where the output will be stored. This attribute is present in all modes (compare, cell in def, arc analyse, path analyse).
   • analyse_tuples: Defines pairs of reports to analyze. It appears in multiple modes but with varying structures (e.g., single-element lists for cell in def, or paired lists for other modes).

3. Report Definitions:

   • The rpts section consistently uses keys like path to specify file locations and type to indicate the report format (e.g., "leda", "invs", "leda_endpoint"). Additional keys such as def appear in specific contexts (like cell in def mode).

4. Mode-Specific Attributes:

   • Compare Mode: Includes unique attributes like compare_mode, slack_margins, and match_percentages.
   • Arc Analyse Mode: Introduces a delay_filter expression.
     • delay_filter: A string expression used to filter arc delays in the analysis.
     • fanout_filter: A string expression used to filter net arc fanout.
   • Path Analyse Mode: Features boolean flags like enable_super_arc and enable_ignore_filter.
     • enable_super_arc: Enables or disables super arc analysis for leda popt instances.
     • enable_ignore_filter: Allows ignoring certain filters (current p_resyn cells) during analysis.

Summary of Shared Attributes

• mode: Always present to specify operation type.
• rpts:
  • path: File path to the report.
  • type: Type of report (e.g., "leda", "invs").
• configs:
  • output_dir: Directory for storing outputs.
  • analyse_tuples: Pairs or singles of reports to analyze.

example of result

arc.json

"LEC_leoptlgsyn_i0000187/A1 (fall)-LEC_leoptlgsyn_i0000187/ZN (fall)": {
  "delta_delay": 0.0,
  "delta_length": 0.0,
  "delta_slack": 0.0,
  "from": "LEC_leoptlgsyn_i0000187/A1 (fall)",
  "key": {
    "delay": 0.020471,
    "endpoint": "i_z80_memstate2_nn_reg_13_/D",
    "length": 0.16800308227539063,
    "pins": [
      {
        "cell": "IND2D1BWP300H8P64PDLVT",
        "incr_delay": 0.000259,
        "is_input": true,
        "location": [
          55.232,
          32.596
        ],
        "name": "LEC_leoptlgsyn_i0000187/A1",
        "path_delay": 0.460301,
        "rf": true,
        "trans": 0.02833
      },
      {
        "cell": "IND2D1BWP300H8P64PDLVT",
        "incr_delay": 0.020212,
        "is_input": false,
        "location": [
          55.358,
          32.638
        ],
        "name": "LEC_leoptlgsyn_i0000187/ZN",
        "path_delay": 0.480512,
        "rf": true,
        "trans": 0.011373
      }
    ],
    "slack": -0.000353
  },
  "to": "LEC_leoptlgsyn_i0000187/ZN (fall)",
  "type": "cell arc",
  "value": {
    "delay": 0.020471,
    "endpoint": "i_z80_memstate2_nn_reg_13_/D",
    "length": 0.16800308227539063,
    "pins": [
      {
        "cell": "IND2D1BWP300H8P64PDLVT",
        "incr_delay": 0.000259,
        "is_input": true,
        "location": [
          55.232,
          32.596
        ],
        "name": "LEC_leoptlgsyn_i0000187/A1",
        "path_delay": 0.460301,
        "rf": true,
        "trans": 0.02833
      },
      {
        "cell": "IND2D1BWP300H8P64PDLVT",
        "incr_delay": 0.020212,
        "is_input": false,
        "location": [
          55.358,
          32.638
        ],
        "name": "LEC_leoptlgsyn_i0000187/ZN",
        "path_delay": 0.480512,
        "rf": true,
        "trans": 0.011373
      }
    ],
    "slack": -0.000353
  }
}