ESOP representationsΒΆ
The header <kitty/esop.hpp>
implements methods to compute exclusive sum-of-products (ESOP) representations.
Function
|
Description
|
---|---|
Computes ESOP representation using optimum PKRM.
|
|
Computes PPRM representation for a function.
|
The header <kitty/spp.hpp>
implements methods to make ESOP forms more compact in terms of SPP forms.
Function
|
Description
|
---|---|
Merges products in an ESOP into pseudo products.
|
|
Creates truth table from SPP.
|