RevLib - An Online resource for Reversible Benchmarks

4 greater than 12 (4gt12)

This is a 4 input function checking if the number defined by the binary encoding of the input is greater than 12.

Download: 4gt12_24.pla

Circuit Realizations:

Lib.	lines	gates	costs	File	Pic.	Ref.	Notes
MCT	5	14	58			MDM:2005	Circuit obtained from . Embedding with constant 0
MCT	5	10	54				Circuit obtained from . Embedding with constant 0 Optimized by hand from previous found realization
MCT	5	5	41			WG:2007	Circuit obtained from . Embedding with constant 0
MCT	5	5	45			WG:2007	Circuit obtained from . Embedding with constant 1