Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If You Use a Screen Reader

This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.

ANALYSIS OF COMBINATIONAL NETWORKS WITH MATHEMATICA

Dejan V. Tošić and Slobodan K. Simić
Publikacije Elektrotehničkog fakulteta. Serija Matematika
No. 16 (2005), pp. 98-109
Stable URL: http://www.jstor.org/stable/43666620
Page Count: 12
  • Read Online (Free)
  • Subscribe ($19.50)
  • Cite this Item
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
ANALYSIS OF COMBINATIONAL NETWORKS WITH MATHEMATICA
Preview not available

Abstract

This paper focuses on automated computer-aided symbolic analysis of combinational networks. A novel program is presented to carry out the symbolic analysis, and to derive closed-form formulas for the response of combinational networks, for excitations specified by symbols or symbolic expressions. The source code listing of the program is presented. The program operation is fully illustrated by an example. The symbolic analysis addressed in this work can serve as a basis of efficient programs for variety of logic design tasks, including logic simulation, fault simulation, test generation, and symbolic verification. The advantages of the proposed approach are discussed. Scientists, researchers, designers, educators and students dealing with combinational networks can benefit from the symbolic approach considered in this paper.

Page Thumbnails

  • Thumbnail: Page 
98
    98
  • Thumbnail: Page 
99
    99
  • Thumbnail: Page 
100
    100
  • Thumbnail: Page 
101
    101
  • Thumbnail: Page 
102
    102
  • Thumbnail: Page 
103
    103
  • Thumbnail: Page 
104
    104
  • Thumbnail: Page 
105
    105
  • Thumbnail: Page 
106
    106
  • Thumbnail: Page 
107
    107
  • Thumbnail: Page 
108
    108
  • Thumbnail: Page 
109
    109