Aignet-m-assumption-n-output-transforms
Aignet transforms that simplify the network while preserving combinational
equivalence of the first M primary outputs and combinational equivalence
when assuming the first M primary outputs true on the next N primary
outputs.
Subtopics
- M-assumption-n-output-comb-transform
- Configuration object for any combinational transform supported by apply-m-assumption-n-output-output-transform-default.
- Apply-m-assumption-n-output-transform
- Stub for an AIG transform that preserves combinational equivalence of
the first M primary outputs, then preserves combinational equivalence
of the next N primary outputs under the assumption of the first N
