The material in this paper is divided into the following four chapters for convenience. Chapter 1 explains, how the idea of fault testing changed from testing the machine instructions to testing the hardware in logic circuits. Chapters 2, 3 and 4 present the different approaches considered, namely:
1. Path sensitizing...
The reliability of sequential machines is an important factor in
their design and implementation. In this thesis, stochastic sequential
machine models are employed to investigate some of the problems concerning
the reliability of sequential machines. Two different methods
are used to find the reliability required of individual elements. The
first...
With the advancing solid-state technology, it is necessary to
develop new techniques for synthesizing digital networks. The regular
pattern of cellular circuits seems to be the best fitted for the new LSI
technology. Recently, cellular implementations of comibinational circuits
have received considerable attention but very little attention has
been given...
The problem considered is that of causing all the machines of an
array to turn on simultaneously in the least amount of time. Each
machine is a finite sequential machine that can communicate with a
limited number of prescribed neighbor machines.
A solution for a linear array of these machines,...
The use of Regular Expressions to represent the conditions of operations of a finite automaton is becoming popular. A finite automaton can be represented by several regular expressions which are entirely different in out-looks and in structures. It is the primary purpose of this paper to develop several approaches to...
A review of current computer performance and evaluation techniques reveals a lack of an acceptable analytic tool for optimal computer system performance and evaluation. A generalized approach to the formulation of a third generation computer system model is proposed. The approach is used to optimize computer resource utilization and to...
The design of checking experiments for sequential machines
which do not initially have a distinguishing sequence is investigated.
Improvem,Jnts are suggested to an existing method for
augmenting the output logic so that the machine acquires homogeneous
distinguishing sequences. To indicate how the procedure
may be implemented on a computer, elements...
Specifications for a simulation language capable of modeling
fuzzy systems are presented. Actions occurring in the running
model are to be displayed on a graphics terminal in the .form of
modified E-nets. The concept of partial execution of predicates
is introduced in connection with the underlying continuously valued
logic. Fuzzy...
With the advent of LSI, iterative forms of realization
of digital systems are becoming increasingly popular with
system designers. Many problems occurring in digital computer
design render themselves suitable for iterative
realization. These include adders, arithmetic logic units,
coding and decoding circuits and so on. Fault-free functioning
of such systems...