mockturtle

[renau]

Use arithmetic (+,*,/), muxes and LUTS for logic.
The lgraph can have subgraphs (blackboxes and/or techfiles)
To avoid NOTs, the LUTS have normal and negated ports. E.g: odd ports are NOT even ports.

If a LUT operates over a "bus", it can have a multi-bit input per port"