RevLib - An Online resource for Reversible Benchmarks

4 greater than 13 (4gt13)

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

Download: 4gt13_25.pla

Circuit Realizations:

Lib.	lines	gates	costs	File	Pic.	Ref.	Notes
MCT	5	14	34			MDM:2005	Circuit obtained from . Embedding with constant 0
MCT	5	10	30				Circuit obtained from . Embedding with constant 0 Optimized by hand from previous found realization
MCT	5	3	15			WG:2007	Circuit obtained from . Embedding with constant 0
MCT	5	4	16			WG:2007	Circuit obtained from . Embedding with constant 1