Partitioning boolean networks within SIS

The PPart package provides an interface with the Metis and HMetis standalone library. Two commands are available :

The main command is based on an hypergraph partitioning tool, HMetis []. It is implemented in SIS by part command. part is applied on current circuit within sis (e.g. obtained from a file with the read_blif). The syntax is the following :
sis> part nb out
with nb corresponding to the number of partitions, and out the filename for the output files storing resulting sub-circuits.

Partitioning is realized while trying to balance th number of internal nodes per partition. By default all nodes have unit weight, but it is possible to affect different weights to nodes, according to the SOP complexity of the logic associated to each of them.

The complete syntax of the command is the following :

part [options] [-f out]

options are :

• -p np : np is the number of desired blocks (default 4).
• -f out : out is the filename for writing output parts in BLIF format (default partition).
• -u : unit weight model for nodes (default).
• -l : weights for nodes are defined as the number of literals in the SOP representation of the logic equation associated to the node.
• -h : makes use of HMetis for partitioning (default : use Metis).
• -b : uses a Bin-Packing algorithm instead of Metis or HMetis. Les CPU consuming, but doesn't minimizes the cut.
• -n : modifies option -h cut counting metric.

Merging partitioned files is implemented within SIS by the merge command, which syntax is :

merge [-f in] [-p nb]

in are the nb input file names to be merged (in BLIF format) (default nb is 4, filename partition).