RevLib is an online resource for benchmarks within the domain of reversible and quantum circuit design
Universitšt Bremen References Cite RevLib Acknowledgements About RevLib
4 greater than 11 (4gt11)


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


Download: 4gt11_23.pla

Circuit Realizations:

Lib. lines gates costs File Pic. Ref. Notes
MCT 5 12 16 Download realization Show realization MDM:2005 Circuit obtained from Download specification. Embedding with constant 0
MCT 5 8 12 Download realization Show realization   Circuit obtained from Download specification. Embedding with constant 0 Optimized by hand from previous found realization
MCT 5 3 7 Download realization Show realization WG:2007 Circuit obtained from Download specification. Embedding with constant 0
MCT 5 4 8 Download realization Show realization WG:2007 Circuit obtained from Download specification. Embedding with constant 1
 
legend


 back