BLIF2GRAPH

Generates a graph from a BLIF (SIS) file.

Description

This library uses argparse to parse arguments:

If the --fsm flag is passed to the program the blifparser library parses the input file and blif2graph generates an FSM graph using graphviz.

You can also pass other arguments together with the --fsm flag:

• --input: BLIF input file path (required)
• --style: INI style config file path (you can use graphviz styles)
• --output: Output file path (no extension)
• --format: Set output graph format (default: svg)
• --view_graph: View output graph (default: False)
• --debug: View debug message (default: False)

The --lgate flag exists to be used to support logic gate graphs in the future: IT IS NOT CURRENTLY IMPLEMENTED

If you'd like to contribute with a Pull Request, please do!

Requirements

• python 3
• graphviz: creates the FSM graph
• graphviz python library: "connects" python to graphviz
• blifparser python library: parses BLIF files

Installation

Install using pip:

pip install blif2graph

Usage

You can use it from the command line:

# generates an FSM graph, fsm.blif input, fsmgraph.pdf output, view result using the default PDF viewer software at the end
python3 blif2graph.py --fsm --input fsm.blif --output fsmgraph --format pdf --view_graph

# generates an FSM graph, myfsm.blif input, default fsm.svg output, custom graphviz style, view result using the default SVG viewer software at the end
python3 blif2graph.py --fsm --input myfsm.blif --style mystyles.ini --view_graph

Example of an FSM custom style file:

[graph]
fontsize = 16
fontcolor = black
fontname = Times-Roman
rankdir = TB             # TB: top to bottom (inverse: BT), LR: left to right (inverse: RL)
splines = true
overlap = false
size = 8,5
bgcolor = transparent  
center = true
charset = UTF-8
colorscheme = 
concentrate = false   # true: concentrate arrows together in one line until a certain point
dpi = 96.0

[edges]
fontsize = 16
arrowsize = .5
arrowhead = normal
arrowtail = normal
color = gray31
fillcolor = black
fontcolor = black
fontname = Times-Roman
colorscheme = 
constraint = true
decorate = true
dir = forward
penwidth = 1.0

[nodes]
fontsize = 16
colorscheme = 
color = black
fillcolor = black
fontcolor = black
fontname = Times-Roman
penwidth = 2.0

You can also import the script and call the main() function passing a list of arguments:

import blif2graph
params = "   --fsm  --input    ..\\myfsm.blif --format  pdf  --view_graph   "
params = [param for param in params.split(" ") if param.strip() != ""]
blif2graph.main(params)

Changelog

2021-09-10 1.0.0:
First commit

Author

Stefano Zenaro (mario33881)