lsils / mockturtle

C++ logic network library
MIT License
202 stars 136 forks source link

Sequential cuts and mapping #599

Closed aletempiac closed 1 year ago

aletempiac commented 1 year ago

This pull request fixes cut computation for sequential networks (#598). Moreover, it implements sequential network support in technology mapping (a new command seq_map), graph mapping (old command map), and LUT mapper (command lut_map).