PLY-based parsers.
Python C Coq Shell
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Data
Examples
Syntax
ply @ 49f3682
.gitattributes
.gitignore
.gitmodules
README.md
classes.py
file_writer.py
full_parser.py
instantiate.fish
ply_boolean_expressions.py
ply_liberty.py
ply_verilog_netlist.py
ply_verilog_rtl.py
production.sh.old
purger.py
router.py
run_example.sh

README.md

Parser Unified ROSS-Gates Emission Routine

This project contains ply-based parsers for Liberty gate libraries and Verilog netlists. These parses emit code which augments the existing ROSS Gates Model. Note that these are not tested for the general Liberty and Verilog specifications, and as such they may only work for a subset of libraries.

Dependencies

The Python Lex-Yacc by dabeaz package is included through the use of a git-submodule. Init the ply submodule and install it through distutils:

cd purger
git submodule init
git submodule update
cd ply
python setup.py install

Running

Look at run_example.sh.

Branches

  • Master: this represents the branch currently integrated with the ROSS/gates project
  • sql: utilizes an SQL database to store the object model
  • py_classes: utilizes python classes to store the object model