The Liberty Parser

This document describes the function of the software unit that reads Liberty files and stores all library elements as primitive cells in ZDB for later use.

Overview

Introduction

In addition of using the GateVision PRO GUI to read Liberty files either the stand alone binary liberty2zdb or the Tcl command zliberty can be used.

The liberty2zdb binary reads the given Liberty file and creates a binfile containing the libraries of the input file:

liberty2zdb -o binfile.zdb <OPTIONS> <FILE.LIB>

The zliberty Tcl command reads the given Liberty file and returns the created in-memory database:

set db [zliberty <OPTIONS> <FILE.LIB>]

The Tcl command is available in the Console window of the GateVision PRO GUI .

This document describes the usage of this flow.

Options

Option Parameters Description

-argsFromFile

<file>

Read cmdline arguments from file.

-boolSym

on|off

Store BOOL symbol instead of the analyzed shape.
(The default value for this option is off.)

-breakOnError | -breakOnErr

on|off

Stop on errors during parsing.
(The default value for this option is off.)

-createNetlist

on|off

Create a netlist for the equation representing the function.
(The default value for this option is off.)

-debugFlag

<flag>

Enable a specific debug flag.

-dontCut

Don’t cut long filenames in messages.

-help | -h

Print a help text with a short description of each option.

-info

None|Error|Warning|Verbose|Debug

Level of verbosity for issued messages.
(The default value for this option is Error.)
(This option is only available for the liberty2zdb executable.)

-into

<dbname>

Compile the given files into an already existing database.
(This option is only available for the zliberty command.)

-libertyDetails

If not specified then all information not required to create a library cell are skipped. The purpose of this option is to get syntax error reports in irrelevant sections of the read Liberty file or to do semantic checks.

-logAppend

Append to logfile.

-logfile

<file>

Generate log file.
(This option is only available for the liberty2zdb executable.)

-nologo

Print no greeting message.

-o | -out

<file>

Name of the zdb output binfile.
(This option is only available for the liberty2zdb executable.)

-oSymlib

<file>

Name of symlib output file.

-pedantic

on|off

Toggle pedantic language checking mode (in relaxed mode some errors are just warnings and some warnings are suppressed).
(The default value for this option is on.)

-prog

Print progress information.
(This option is only available for the liberty2zdb executable.)

-renameSuffix

<suffix>

Suffix for renaming duplicate cells.

-renderEquation

on|off

Render symbols representing the equation netlist.
(The default value for this option is off.)

-resolveDuplicates

on|off

Resolve duplicate cells. If "off" all duplicate cells are renamed.
(The default value for this option is on.)

-semanticCheck

Enable semantic checks. Semantic issues will produce warnings or, if -pedantic is enabled, error messages.

-setPrimFunc

on|off

Additionally to the @symbol attribute also set the primitive function at the created cell.
(The default value for this option is off.)

-skipMuxDetection

on|off

Skip detection of MUX cells and do not assign a symbol shape.
(The default value for this option is off.)

-skipSupplyPorts

on|off

Skip power/ground supply ports.
(The default value for this option is off.)

-spos

on|off

Create source code references.
(The default value for this option is on.)

-storeGroup

<group name>

Name of a Liberty group to store as a database attribute.

-suppress

<type> <pattern>

Suppress messages which match pattern.
(This option is only available for the liberty2zdb executable.)

-time

Print CPU time consumption (requires enabled progress updates).
(This option is only available for the liberty2zdb executable.)

-validate

Validate DB before creating the zdb output file.

-wait_for_license | -waitForLicense

<sec>

Wait 'sec' seconds for a license. If the value is -1 then the started tool will not wait for the next free license. Use a value of 0 to wait forever.
(The default value for this option is -1.)
(This option is only available for the liberty2zdb executable.)