RevLib - An Online resource for Reversible Benchmarks

Check 4 modulo 5 (4mod5)

The functions checks if the number defined by the inputs is divisible by 5 (in this case the output will be assigned to 1).

Download: 4mod5_8.pla

Circuit Realizations:

Lib.	lines	gates	costs	File	Pic.	Ref.	Notes
MCT	7	8	24			WD:2009
MCT	5	9	25			MDS:2005	Circuit obtained from . Embedding with constant 0.
MCT	5	5	13			MDS:2005	Circuit obtained from . Embedding with constant 0.
MCT	5	5	9			WG:2007	Circuit obtained from . Embedding with constant 0.
MCT+P	5	6	19			MDS:2005	Circuit obtained from . Embedding with constant 0.
MCT	5	5	9			MDS:2005	Circuit obtained from . Embedding with constant 1.
MCT	5	8	24			MDS:2005	Circuit obtained from . Embedding with constant 1.
MCT	5	5	13			WG:2007	Circuit obtained from . Embedding with constant 1.
MCT+P	5	4	7			WLDG:2008	Circuit obtained from . Embedding with constant 1.