Logic analysis and its tools

  • Authors:
  • R. S. Wang

  • Affiliations:
  • RCA, Moorestown, New Jersey

  • Venue:
  • AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
  • Year:
  • 1983

Quantified Score

Hi-index 0.00

Visualization

Abstract

This article discusses the logic analysis of a program, points out problems with the logic analysis process in general use, and introduces an approach to logic analysis that is more effective and less time consuming. The new method generates logic paths out of programs and preanalyzes the paths in lieu of directly analyzing the program. Three preanalysis software tools are introduced: procedure logic path generator, program logic path generator, and logic path preanalyzer. Sample outputs are given to demonstrate the difference between program analysis and logic path analysis.