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


 back