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 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 Download realization Show realization MDM:2005 Circuit obtained from Download specification. Embedding with constant 0
MCT 5 10 54 Download realization Show realization   Circuit obtained from Download specification. Embedding with constant 0 Optimized by hand from previous found realization
MCT 5 5 41 Download realization Show realization WG:2007 Circuit obtained from Download specification. Embedding with constant 0
MCT 5 5 45 Download realization Show realization WG:2007 Circuit obtained from Download specification. Embedding with constant 1
 
legend


 back