Berkeley Logic Interchange Format (.blif)
.blif is a file format which is used to describe digital circuits in a textual form. A digital circuit can be considered as a graph, with combinatorial or sequential elements its the nodes.
A complete spec of blif files is given in