Blif reading using a cover-based network

lsils / mockturtle

C++ logic network library

MIT License

210 stars 139 forks source link

Closed costamag closed 2 years ago

costamag commented 2 years ago

Work done:

definition of the cover data-structure;
modification of the blif_reader to map a blif file into a cover network;
function cover_to_graph to map the cover network into any network type for which the AND and the OR are defined