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

https://www.cse.iitb.ac.in/~supratik/courses/cs226/spr16/blif.pdf