Skip to main content
Erschienen in: Journal of Computational Electronics 1/2017

29.11.2016

A multi-objective synthesis methodology for majority/minority logic networks

verfasst von: Moein Sarvaghad-Moghaddam, Ali A. Orouji, Monireh Houshmand

Erschienen in: Journal of Computational Electronics | Ausgabe 1/2017

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

New technologies such as quantum-dot cellular automata, single-electron tunneling, tunneling phase logic, and all-spin logic devices have been widely advocated in nanotechnology as a response to the physical limits associated with complementary metal–oxide–semiconductor technology at atomic scales. Some of their peculiar features are their smaller size, higher speed, higher switching frequency, lower power consumption, and higher scale integration. In these technologies, the majority (or minority) and inverter gates are employed for the production of the functions as this set of gates makes a universal set of Boolean primitives in these technologies. An important step in the generation of Boolean functions using the majority gate is reducing the number of involved gates. In this paper, a multi-objective synthesis methodology (with the objective priority of gate counts, gate levels, and the number of inverter gates) is presented for finding the minimal number of possible majority gates in the synthesis of Boolean functions using the proposed majority specification matrix (MSM) concept. Moreover, based on MSM, a synthesis flow is proposed for the synthesis of multi-output Boolean functions. To reveal the efficiency of the proposed method, it is compared with a meta-heuristic method, multi-objective genetic programing (GP). Besides, it is applied to synthesize MCNC benchmark circuits. The results are indicative of the outperformance of the proposed method in comparison to the multi-objective GP method. Also, for the MCNC benchmark circuits, there is an average reduction of 10.5% in the number of levels as well as 16.8% and 33.5% in the number of majority and inverter gates, respectively, as compared to the best available method.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Anhänge
Nur mit Berechtigung zugänglich
Literatur
2.
Zurück zum Zitat Snider, G., Orlov, A., Amlani, I., Zuo, X., Bernstein, G., Lent, C., Merz, J., Porod, W.: Quantum-dot cellular automata: review and recent experiments. J. Appl. Phys. 85(8), 4283–4285 (1999)CrossRef Snider, G., Orlov, A., Amlani, I., Zuo, X., Bernstein, G., Lent, C., Merz, J., Porod, W.: Quantum-dot cellular automata: review and recent experiments. J. Appl. Phys. 85(8), 4283–4285 (1999)CrossRef
3.
Zurück zum Zitat Oya, T., Asai, T., Fukui, T., Amemiya, Y.: A majority-logic nanodevice using a balanced pair of single-electron boxes. J. Nanosci. Nanotechnol. 2(3–4), 333–342 (2002)CrossRef Oya, T., Asai, T., Fukui, T., Amemiya, Y.: A majority-logic nanodevice using a balanced pair of single-electron boxes. J. Nanosci. Nanotechnol. 2(3–4), 333–342 (2002)CrossRef
4.
Zurück zum Zitat Oya, T., Asai, T., Fukui, T., Amemiya, Y.: A majority-logic device using an irreversible single-electron box. IEEE Trans. Nanotechnol. 2(1), 15–22 (2003)CrossRef Oya, T., Asai, T., Fukui, T., Amemiya, Y.: A majority-logic device using an irreversible single-electron box. IEEE Trans. Nanotechnol. 2(1), 15–22 (2003)CrossRef
5.
Zurück zum Zitat Fahmy, H., Kiehl, R.A.: Complete logic family using tunneling phase-logic devices. In: Proceedings of the International Conference on Microelectronics, pp. 22–24 (1999) Fahmy, H., Kiehl, R.A.: Complete logic family using tunneling phase-logic devices. In: Proceedings of the International Conference on Microelectronics, pp. 22–24 (1999)
6.
Zurück zum Zitat Augustine, C., Panagopoulos, G., Behin-Aein, B., Srinivasan, S., Sarkar, A., Roy, K.: Low-power functionality enhanced computation architecture using spin-based devices. In: 2011 IEEE/ACM International Symposium on Nanoscale Architectures, pp. 129–136 (2011) Augustine, C., Panagopoulos, G., Behin-Aein, B., Srinivasan, S., Sarkar, A., Roy, K.: Low-power functionality enhanced computation architecture using spin-based devices. In: 2011 IEEE/ACM International Symposium on Nanoscale Architectures, pp. 129–136 (2011)
7.
Zurück zum Zitat Zhu, J.-G.J., Park, C.: Magnetic tunnel junctions. Mater. Today 9(11), 36–45 (2006)CrossRef Zhu, J.-G.J., Park, C.: Magnetic tunnel junctions. Mater. Today 9(11), 36–45 (2006)CrossRef
8.
Zurück zum Zitat Datta, S., Das, B.: Electronic analog of the electro-optic modulator. Appl. Phys. Lett. 56(7), 665–667 (1990)CrossRef Datta, S., Das, B.: Electronic analog of the electro-optic modulator. Appl. Phys. Lett. 56(7), 665–667 (1990)CrossRef
9.
Zurück zum Zitat Sugahara, S., Nitta, J.: Spin-transistor electronics: an overview and outlook. Proc. IEEE 98(12), 2124–2154 (2010)CrossRef Sugahara, S., Nitta, J.: Spin-transistor electronics: an overview and outlook. Proc. IEEE 98(12), 2124–2154 (2010)CrossRef
10.
Zurück zum Zitat Lent, C.S., Tougaw, P.D., Porod, W.: Bistable saturation in coupled quantum dots for quantum cellular automata. Appl. Phys. Lett. 62(7), 714–716 (1993)CrossRef Lent, C.S., Tougaw, P.D., Porod, W.: Bistable saturation in coupled quantum dots for quantum cellular automata. Appl. Phys. Lett. 62(7), 714–716 (1993)CrossRef
11.
Zurück zum Zitat Tougaw, P.D., Lent, C.S., Porod, W.: Bistable saturation in coupled quantum-dot cells. J. Appl. Phys. 74(5), 3558–3566 (1993)CrossRef Tougaw, P.D., Lent, C.S., Porod, W.: Bistable saturation in coupled quantum-dot cells. J. Appl. Phys. 74(5), 3558–3566 (1993)CrossRef
12.
Zurück zum Zitat Bourianoff, G., Brillouet, M., Cavin III, R.K., Hiramoto, T., Hutchby, J.A., Ionescu, A.M., Uchida, K.: Nanoelectronics research for beyond CMOS information processing. Proc. IEEE 98(12), 1986–1992 (2010)CrossRef Bourianoff, G., Brillouet, M., Cavin III, R.K., Hiramoto, T., Hutchby, J.A., Ionescu, A.M., Uchida, K.: Nanoelectronics research for beyond CMOS information processing. Proc. IEEE 98(12), 1986–1992 (2010)CrossRef
13.
Zurück zum Zitat Hutchby, J., Bourianoff, G., Zhirnov, V.V., Brewer, J.E.: Extending the road beyond CMOS. IEEE Circ. Dev. Mag. 18(2), 28–41 (2002)CrossRef Hutchby, J., Bourianoff, G., Zhirnov, V.V., Brewer, J.E.: Extending the road beyond CMOS. IEEE Circ. Dev. Mag. 18(2), 28–41 (2002)CrossRef
14.
Zurück zum Zitat Behin-Aein, B., Datta, D., Salahuddin, S., Datta, S.: Proposal for an all-spin logic device with built-in memory. Nat. Nanotechnol. 5(4), 266–270 (2010)CrossRef Behin-Aein, B., Datta, D., Salahuddin, S., Datta, S.: Proposal for an all-spin logic device with built-in memory. Nat. Nanotechnol. 5(4), 266–270 (2010)CrossRef
15.
Zurück zum Zitat Miller, H., Winder, R.: Majority-logic synthesis by geometric methods. IEEE Trans. Electron. Comput. 1(EC–11), 89–90 (1962)CrossRefMATH Miller, H., Winder, R.: Majority-logic synthesis by geometric methods. IEEE Trans. Electron. Comput. 1(EC–11), 89–90 (1962)CrossRefMATH
16.
Zurück zum Zitat Zhang, R., Walus, K., Wang, W., Jullien, G.: A method of majority logic reduction for quantum cellular automata. IEEE Trans. Nanotechnol. 3(4), 443–450 (2004)CrossRef Zhang, R., Walus, K., Wang, W., Jullien, G.: A method of majority logic reduction for quantum cellular automata. IEEE Trans. Nanotechnol. 3(4), 443–450 (2004)CrossRef
17.
Zurück zum Zitat Karnaugh, M.: The map method for synthesis of combinational logic circuits. Commun. Electron. 72(5), 593–599 (1953)MathSciNet Karnaugh, M.: The map method for synthesis of combinational logic circuits. Commun. Electron. 72(5), 593–599 (1953)MathSciNet
18.
Zurück zum Zitat Akers Jr, S.B.: Synthesis of combinational logic using three-input majority gates. In: Proceedings of the Third Annual Symposium on Switching Circuit Theory and Logical Design, SWCT, pp. 149–158 (1962) Akers Jr, S.B.: Synthesis of combinational logic using three-input majority gates. In: Proceedings of the Third Annual Symposium on Switching Circuit Theory and Logical Design, SWCT, pp. 149–158 (1962)
19.
Zurück zum Zitat Walus, K., Schulhof, G., Jullien, G., Zhang, R., Wang, W.: Circuit design based on majority gates for applications with quantum-dot cellular automata. In: Conference Record of the Thirty-Eighth Asilomar Conference on Signals, Systems and Computers, pp. 1354–1357 (2004) Walus, K., Schulhof, G., Jullien, G., Zhang, R., Wang, W.: Circuit design based on majority gates for applications with quantum-dot cellular automata. In: Conference Record of the Thirty-Eighth Asilomar Conference on Signals, Systems and Computers, pp. 1354–1357 (2004)
20.
Zurück zum Zitat Huo, Z., Zhang, Q., Haruehanroengra, S., Wang, W.: Logic optimization for majority gate-based nanoelectronic circuits. In: Proceedings. 2006 IEEE International Symposium on Circuits and Systems, ISCAS, pp. 4–1310 (2006) Huo, Z., Zhang, Q., Haruehanroengra, S., Wang, W.: Logic optimization for majority gate-based nanoelectronic circuits. In: Proceedings. 2006 IEEE International Symposium on Circuits and Systems, ISCAS, pp. 4–1310 (2006)
21.
Zurück zum Zitat Bonyadi, M., Azghadi, S., Rad, N., Navi, K., Afjei, E.: Logic optimization for majority gate-based nanoelectronic circuits based on genetic algorithm. In: International Conference on Electrical Engineering, ICEE’07, pp. 1–5 (2007) Bonyadi, M., Azghadi, S., Rad, N., Navi, K., Afjei, E.: Logic optimization for majority gate-based nanoelectronic circuits based on genetic algorithm. In: International Conference on Electrical Engineering, ICEE’07, pp. 1–5 (2007)
22.
Zurück zum Zitat Houshmand, M., Khayat, S.H., Rezaei, R.: Genetic algorithm based logic optimization for multi-output majority gate-based nano-electronic circuits. In: IEEE International Conference on Intelligent Computing and Intelligent Systems, ICIS, pp. 584–588 (2009) Houshmand, M., Khayat, S.H., Rezaei, R.: Genetic algorithm based logic optimization for multi-output majority gate-based nano-electronic circuits. In: IEEE International Conference on Intelligent Computing and Intelligent Systems, ICIS, pp. 584–588 (2009)
23.
Zurück zum Zitat Houshmand, M., Saleh, R.R., Houshmand, M.: Logic minimization of QCA circuits using genetic algorithms. In: Soft Computing in Industrial Applications, pp. 393–403. Springer, Berlin (2011) Houshmand, M., Saleh, R.R., Houshmand, M.: Logic minimization of QCA circuits using genetic algorithms. In: Soft Computing in Industrial Applications, pp. 393–403. Springer, Berlin (2011)
24.
Zurück zum Zitat Rezaee, R., Houshmand, M., Houshmand, M.: Multi-objective optimization of QCA circuits with multiple outputs using genetic programming. Genet. Program. Evolvable Mach. 14(1), 95–118 (2012). doi:10.1007/s10710-012-9173-6 CrossRef Rezaee, R., Houshmand, M., Houshmand, M.: Multi-objective optimization of QCA circuits with multiple outputs using genetic programming. Genet. Program. Evolvable Mach. 14(1), 95–118 (2012). doi:10.​1007/​s10710-012-9173-6 CrossRef
25.
Zurück zum Zitat Wang, P., Niamat, M., Vemuru, S.: Minimal majority gate mapping of 4-variable functions for quantum cellular automata. In: 11th IEEE Conference on Nanotechnology (IEEE-NANO), pp. 1307–1312 (2011) Wang, P., Niamat, M., Vemuru, S.: Minimal majority gate mapping of 4-variable functions for quantum cellular automata. In: 11th IEEE Conference on Nanotechnology (IEEE-NANO), pp. 1307–1312 (2011)
26.
Zurück zum Zitat Wang, P., Niamat, M., Vemuru, S.: Minimal majority gate mapping of four-variable functions for quantum-dot cellular automata. In: Nanoelectronic Device Applications Handbook, pp. 263–280 Wang, P., Niamat, M., Vemuru, S.: Minimal majority gate mapping of four-variable functions for quantum-dot cellular automata. In: Nanoelectronic Device Applications Handbook, pp. 263–280
27.
Zurück zum Zitat Wang, P., Niamat, M., Vemuru, S.: 4-variable standard function majority gate logic synthesis using graph isomorphism. In: Field-Coupled Nanocomputing Workshop, University of South Florida, Tampa (2013) Wang, P., Niamat, M., Vemuru, S.: 4-variable standard function majority gate logic synthesis using graph isomorphism. In: Field-Coupled Nanocomputing Workshop, University of South Florida, Tampa (2013)
28.
Zurück zum Zitat Zhang, R., Gupta, P., Jha, N.K.: Majority and minority network synthesis with application to QCA-, SET-, and TPL-based nanotechnologies. IEEE Trans. Comput.-Aided Des. Integr. Circ. Syst. 26(7), 1233–1245 (2007)CrossRef Zhang, R., Gupta, P., Jha, N.K.: Majority and minority network synthesis with application to QCA-, SET-, and TPL-based nanotechnologies. IEEE Trans. Comput.-Aided Des. Integr. Circ. Syst. 26(7), 1233–1245 (2007)CrossRef
29.
Zurück zum Zitat Kong, K., Shang, Y., Lu, R.: An optimized majority logic synthesis methodology for quantum-dot cellular automata. IEEE Trans. Nanotechnol. 9(2), 170–183 (2010)CrossRef Kong, K., Shang, Y., Lu, R.: An optimized majority logic synthesis methodology for quantum-dot cellular automata. IEEE Trans. Nanotechnol. 9(2), 170–183 (2010)CrossRef
30.
Zurück zum Zitat Amlani, I., Orlov, A.O., Kummamuru, R.K., Bernstein, G.H., Lent, C.S., Snider, G.L.: Experimental demonstration of a leadless quantum-dot cellular automata cell. Appl. Phys. Lett. 77(5), 738–740 (2000)CrossRef Amlani, I., Orlov, A.O., Kummamuru, R.K., Bernstein, G.H., Lent, C.S., Snider, G.L.: Experimental demonstration of a leadless quantum-dot cellular automata cell. Appl. Phys. Lett. 77(5), 738–740 (2000)CrossRef
31.
Zurück zum Zitat Augustine, C., Fong, X., Behin-Aein, B., Roy, K.: Ultra-low power nanomagnet-based computing: a system-level perspective. IEEE Trans. Nanotechnol. 10(4), 778–788 (2011)CrossRef Augustine, C., Fong, X., Behin-Aein, B., Roy, K.: Ultra-low power nanomagnet-based computing: a system-level perspective. IEEE Trans. Nanotechnol. 10(4), 778–788 (2011)CrossRef
32.
Zurück zum Zitat Yu, Z., Dutton, R.W., Kiehl, R.A.: Circuit/device modeling at the quantum level. IEEE Trans. Electron Dev. 47(10), 1819–1825 (2000)CrossRef Yu, Z., Dutton, R.W., Kiehl, R.A.: Circuit/device modeling at the quantum level. IEEE Trans. Electron Dev. 47(10), 1819–1825 (2000)CrossRef
33.
Zurück zum Zitat Shedsale, R., Sarwade, N.: A review of construction methods for regular LDPC codes. Indian J. Comput. Sci. Eng. (IJCSE) 3, 380–385 (2012) Shedsale, R., Sarwade, N.: A review of construction methods for regular LDPC codes. Indian J. Comput. Sci. Eng. (IJCSE) 3, 380–385 (2012)
34.
Zurück zum Zitat Ammar, B., Honary, B., Kou, Y., Xu, J., Lin, S.: Construction of low-density parity-check codes based on balanced incomplete block designs. IEEE Trans. Inf. Theory 50(6), 1257–1268 (2004)MathSciNetCrossRefMATH Ammar, B., Honary, B., Kou, Y., Xu, J., Lin, S.: Construction of low-density parity-check codes based on balanced incomplete block designs. IEEE Trans. Inf. Theory 50(6), 1257–1268 (2004)MathSciNetCrossRefMATH
35.
Zurück zum Zitat Honary, B., Lin, S., Gabidulin, E.M., Xu, J., Kou, Y., Moinian, A., Ammar, B.: On construction of low density parity check codes. Paper presented at the 2nd International Workshop: Signal Processing for Wireless Communications 2004 (SPWC 2004), London (2004 ) Honary, B., Lin, S., Gabidulin, E.M., Xu, J., Kou, Y., Moinian, A., Ammar, B.: On construction of low density parity check codes. Paper presented at the 2nd International Workshop: Signal Processing for Wireless Communications 2004 (SPWC 2004), London (2004 )
Metadaten
Titel
A multi-objective synthesis methodology for majority/minority logic networks
verfasst von
Moein Sarvaghad-Moghaddam
Ali A. Orouji
Monireh Houshmand
Publikationsdatum
29.11.2016
Verlag
Springer US
Erschienen in
Journal of Computational Electronics / Ausgabe 1/2017
Print ISSN: 1569-8025
Elektronische ISSN: 1572-8137
DOI
https://doi.org/10.1007/s10825-016-0938-7

Weitere Artikel der Ausgabe 1/2017

Journal of Computational Electronics 1/2017 Zur Ausgabe

Neuer Inhalt