SOP factoring - Githubissues

lsils / mockturtle

C++ logic network library

MIT License

202 stars 136 forks source link

Closed aletempiac closed 1 year ago

aletempiac commented 1 year ago

This PR includes:

A resynthesis method based on SOP factoring
Utilities for factorizing SOPs
Cost functions to report the factored form literal count of an SOP or a complete/incomplete specified function given as a truth table