XorDecomp: a XOR decomposition tool


Program Manual - XorDecomp ver. 0.9 (January 2013)

Command-line syntax

XorDecomp [options] source.pla

Options

-o file Specify the destination file. The result is written to out.blif otherwise
-a n address vars threshold
-g display gates
-r display raw data
-t display runtime only
-to n set timeout [s]
-s n set random number generator seed