References

• 1. 1)
     • Falkowski, B.J., Chang, C.H.: `Efficient algorithms for the calculation of arithmetic spectrumfrom OBDD and synthesis of OBDD from arithmetic spectrum for incompletely specified Boolean functions', Proceedings of IEEE international symposium on Circuits& systems (27th ISCAS), May 1994, London, United Kingdom, p. 197–200.
  2. 2)
     • K.P. Parker , E.J. McCluskey . Probabilistic treatment of general combinatorial networks. IEEE Trans. , 668 - 670
  3. 3)
     • Falkowski, B.J., Chang, C.H.: `Generation of multi-polarity arithmetic transform from reducedrepresentation of Boolean functions', Proceedings of IEEE international symposium on Circuits& systems (28th ISCAS), May 1995, Seattle, USA, p. 2168–2171.
  4. 4)
     • Stankovic, R.S.: `Some remarks about spectral transform interpretation of MTBDDs and EVBDDs', Proceedings of Asia and South Pacific Design automationconference (1st ASP–DAC), August 1995, Makuhari, Chiba, Japan, p. 385–390.
  5. 5)
     • S. Agaian , J. Astola , K. Egiazarian . (1995) Binary polynomial transforms and nonlinear digital filters.
  6. 6)
     • S.K. Kumar , M.A. Breuer . Probabilistic aspects of Boolean switching functions via a newtransform. J. Assoc. Comput. Mach. , 502 - 520
  7. 7)
     • Falkowski, B.J., Perkowski, M.A.: `A family of all essential radix-2 addition/subtractionmulti-polarity transforms: algorithms and interpretations in Boolean domain', Proceedings of IEEE international symposium on Circuits& systems (23rd ISCAS), May 1990, New Orleans, USA, p. 2913–2916.
  8. 8)
     • V.P. Shmerko . Synthesis of arithmetic forms of Boolean functions using the Fouriertransform. Automat. Remote Control , 5 , 684 - 691
  9. 9)
     • S. Chattopadhyay , S. Roy , P. Pal Chaudhuri . KGPMAP: library-basedtechnology-mapping technique for antifuse based FPGAs. IEE Proc., Comput. Digit. Tech. , 6 , 361 - 368
  10. 10)
      • V.D. Malyugin . Realization of corteges of Boolean functions by linear polynomials. Automat. Remote Control , 2 , 239 - 245
  11. 11)
      • Falkowski, B.J., Chang, C.H.: `Fast generalized arithmetic and adding transforms', Proceedings of IFIP international conference on VLSI(8th VLSI), August 1995, Makuhari, Chiba, Japan, p. 723–728.
  12. 12)
      • V.L. Artyukhov , V.N. Kondratev , A.A. Shalyto . Generating Boolean functions viaarithmetic polynomials. Automat. Remote Control , 4 , 508 - 515
  13. 13)
      • K.D. Heidtmann . Arithmetic spectrum applied to fault detection for combinational networks. IEEE Trans. , 3 , 320 - 324
  14. 14)
      • W.G. Schneeweiss . (1989) Boolean functions with engineering applications and computer programs.
  15. 15)
      • Jain, J., Bitner, J., Fussell, D.S., Abraham, J.A.: `Probabilistic design verification', Proceedings of IEEE international conference on Computer-aideddesign, November 1991, p. 468–471.
  16. 16)
      • V.D. Malyugin . Representation of Boolean functions by arithmetic polynomials. Automat. Remote Control , 4 , 496 - 504
  17. 17)
      • B.J. Falkowski , I. Schaefer , M.A. Perkowski . Generation of adding and arithmeticmulti-polarity transforms for incompletely specified Boolean functions. Int. J. Electron. , 20 , 321 - 331
  18. 18)
      • M. Davio , J.P. Deschamps , A. Thayse . (1978) Discrete and switching functions.