Aignet transforms that simplify the network while preserving combinational equivalence
The functions apply-comb-transforms and apply-comb-transforms! may be used to apply several transforms to an aignet network, each of which preserves combinational equivalence with the original network. The transforms are chosen by listing several comb-transform objects, each of which is a configuration object for one of the supported transforms. The currently supported transforms are:
An additional "transform" that simply writes a snapshot of the network to an aiger file is also supported.