circt/test/Dialect/AIG
Hideto Ueno c6983697fb
[AIG] Add CutOp (#7743)
The `aig.cut` operation represents a cut in the And-Inverter-Graph.
This operation is variadic and can take multiple inputs and outputs,
which corresponds to the input and output edges in AIG conceptually.
2024-10-28 19:40:56 +09:00
..
canonicalizer.mlir [AIG] Add AndInverterOp (#7738) 2024-10-26 17:45:29 +09:00
errors.mlir [AIG] Add CutOp (#7743) 2024-10-28 19:40:56 +09:00
lower-variadic.mlir [AIG] Add LowerVariadic pass 2024-10-26 19:27:58 +09:00
lower-word-to-bits.mlir [AIG] Add LowerWordToBits pass 2024-10-26 19:27:58 +09:00
round-trip.mlir [AIG] Add CutOp (#7743) 2024-10-28 19:40:56 +09:00