Simulation and Implication Using a Transfer Function Model for Switching Logic

Transfer functions are concise mathematical models representing the input/output behavior of a system and are widely used in many areas of engineering including system theory and signal analysis. We develop a framework for the construction of transfer function models for digital networks and demonstrate their application in simulation and implication. Rather than using a traditional switching theory model, the transfer functions are defined over vector spaces, H. The derivation of the transfer function is provided and it is applied to logic network simulation and implication.

[1]  Noson S. Yanofsky,et al.  Quantum Computing for Computer Scientists , 2008 .

[2]  Paul Adrien Maurice Dirac,et al.  A new notation for quantum mechanics , 1939, Mathematical Proceedings of the Cambridge Philosophical Society.

[3]  George Boole,et al.  The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning , 2007 .

[4]  Christina Kluge.  Adiabatic Logic Future Trend And System Level Perspective , 2016 .

[5]  Tsutomu Sasao,et al.  Switching Theory for Logic Synthesis , 1999, Springer US.

[6]  Masahiro Fujita,et al.  Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation , 1997, Formal Methods Syst. Des..

[7]  J. G. Koller,et al.  Adiabatic Switching, Low Energy Computing, And The Physics Of Storing And Erasing Information , 1992, Workshop on Physics and Computation.

[8]  Robert Wille,et al.  Towards a Design Flow for Reversible Logic , 2010 .

[9]  Thierry Paul,et al.  Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.

[10]  Randal E. Bryant,et al.  Formal verification by symbolic evaluation of partially-ordered trajectories , 1995, Formal Methods Syst. Des..

[11]  R. Bryant.  Graph-Based Algorithms for Boolean Function Manipulation12 , 1986 .

[12]  Chi-Tsong Chen,et al.  Linear System Theory and Design , 1995 .

[13]  D. Michael Miller,et al.  Multiple Valued Logic: Concepts and Representations , 2008, Multiple Valued Logic.

[14]  Stephen A. Szygenda,et al.  The simulation automation system (SAS); concepts, implementation, and results , 1994, IEEE Trans. Very Large Scale Integr. Syst..

[15]  Claude E. Shannon,et al.  A symbolic analysis of relay and switching circuits , 1938, Transactions of the American Institute of Electrical Engineers.

[16]  M. M. G. Ricci,et al.  Méthodes de calcul différentiel absolu et leurs applications , 1900 .

[17]  Gene H. Golub,et al.  Matrix computations , 1983 .