Iengine3.bbl
\begin{thebibliography}{10}

\bibitem{Agr81}
V.~Agraval.
\newblock An information theoretic approach to digital fault testing.
\newblock {\em IEEE Trans. on Computers}, C-30(8):582--587, 1981.

\bibitem{Coo73}
R.~W. Cook and M.~J. Flynn.
\newblock Logical network cost and entropy.
\newblock {\em IEEE Trans. on Computers}, C-22(9):823--826, 1973.

\bibitem{Hel72}
L.~Hellerman.
\newblock A measure of computation work.
\newblock {\em IEEE Trans. Computers}, C-21(5):439--446, 1972.

\bibitem{Mar96}
D.~Marculescu, R.~Marculesku, and M.~Pedram.
\newblock Information theoretic measures for power analysis.
\newblock {\em IEEE Trans. on Computer - Aided Design of Integrated Circuits
  and Systems}, 15(6):599--610, 1996.

\bibitem{Pop01}
D.~Popel.
\newblock Towards efficient calculation of information measures for reordering
  of binary decision diagrams.
\newblock In {\em Proc. IEEE Int. Symp. on Signals, Circuits and Systems},
  pages 509--512, 2001.

\bibitem{Pop01e}
D.~Popel and N.~Hakeem.
\newblock Evolutionary circuit design: Information theory perspective on signal
  propagation.
\newblock In {\em Proc. IEEE Int. Symp. on Signal Processing and Information
  Technology}, pages 40--46, 2001.

\bibitem{Pop01w}
D.~Popel and N.~Hakeem.
\newblock Improving web database access using decision diagrams.
\newblock In {\em Proc. ACS/IEEE Int. Conf. on Computer Systems and
  Applications}, pages 519--525, 2001.

\bibitem{Sas99}
T.~Sasao.
\newblock {\em Switching Theory for Logic Synthesis}.
\newblock Kluwer Academic Publishers, 1999.

\bibitem{Sha48}
C.~E. Shannon.
\newblock A mathematical theory of communication.
\newblock {\em Bell Syst. Tech. J.}, 27:379--423, 623--656, 1948.

\bibitem{Wat93}
H.~Watanabe.
\newblock A {B}asic {T}heory of {I}nformation {N}etwork.
\newblock {\em IEICE Trans. Fundamentals}, E76-A(3):265--276, 1993.

\bibitem{Wat99}
H.~Watanabe.
\newblock Some remarks on information entropy, vitality and information engine.
\newblock In {\em Proc. 8th Int. Workshop on Post-Binary Ultra-Large Scale
  Integration}, 1999.

\end{thebibliography}
