The constraints imposed by various types of irredundancy on the structure of combinational logic networks are investigated. It is shown that the usual notion ofirredundancy here called a-irredundancy, places bounds on...
详细信息
作者:
Ramamoorthy, C.V.Kim, K.H.Chen, W.T.Computer Science Division
Department of Electrical Engineering and Computer Sciences University of California Berkeley Calif 94720 United States Department of
Electrical Engineering Systems and Computer Science Program University of Southern California Los Angeles Calif. United States
The usefulness of software monitors in testing large ‘programs is discussed. Several types of testing strategies based on the use of monitors are surveyed. Since there is a computational overhead involved in employin...
详细信息
The problem of determining the amount of fanout required to reahze a switching function m investigated. The significance of fanout in switching networks is discussed Fanout-free functions are introduced and their prop...
详细信息
This paper considers the use of control logic to reduce the number of tests required by a logic network and to simplify test generation. The properties of EXCLUSIVE-OR (EOR) circuits as control elements are examined. ...
详细信息
During the 1969-70 academic year we introduced a course here at USC dealing with the use of computers in the design of digital system. This was probably the first such course of its kind instituted on a regular basis ...
详细信息
ISBN:
(纸本)9781450378505
During the 1969-70 academic year we introduced a course here at USC dealing with the use of computers in the design of digital system. This was probably the first such course of its kind instituted on a regular basis in the United States. The idea for such a course came from my colleagues in the special interests group on Design Automation of the IEEE computer Group. Their primary goal for such a course was to instill the basic concepts of computer aided design into our new graduates. This paper reviews the major aspects related to this course on computer design. Hopefully, other schools will be motivated to develop similar courses. It is interesting to note that in a recent issue of Spectrum [5], W. R. Beam states that "... every digital designer needs to know something about design automation, even if he's only going to build a single system." For this reason, a book on design automation [1] is one of his eleven essential books for the digital designer's reference and study library. 1974 ACM. All rights reserved.
Most design automation systems attempt to automate only a small part of the physical description. Much is left to the designers. An exploratory design automation system is being developed at the University of Southern...
详细信息
The problem of finding the minimum amount of fanout needed to realize a switching function f is investigated. Fanout-free functions are defined, and necessary and sufficient conditions for a function to be fanout-free...
详细信息
The problem of finding the minimum amount of fanout needed to realize a switching function f is investigated. Fanout-free functions are defined, and necessary and sufficient conditions for a function to be fanout-free are derived. A measure τ(f) called the input fanout index, is introduced which represents the minimum number of input variables that fan out in any realization off. It is shown that τ(f), can be determined from the prime implicants and implicates off. Another measure of fanout µ(f), which is the minimum number of signal lines that must fan out in any network realizing f is defined, and some of the properties of µ(f) are examined.
The paper describes the application of a swept-frequency-system identification technique to biological systems. By linearly sweeping the frequency of the sinusoidal input signal over the range of frequencies of intere...
详细信息
The paper describes the application of a swept-frequency-system identification technique to biological systems. By linearly sweeping the frequency of the sinusoidal input signal over the range of frequencies of interest, the frequency-response profile of the biological system can be rapidly determined. System transfer characteristics are extracted from the input-power spectral density and output-input crosspower spectral-density computations. Noise, harmonic distortion and sweeptime considerations are given. Logarithmic frequencysweeping is suggested as a means of avoiding harmonic distortion.
Three abstract optimization problems are presented along with doubly iterative algorithms for their numerical solution. These algorithms are generalizations of particular algorithms described by Barr and Gilbert [19],...
详细信息
Three abstract optimization problems are presented along with doubly iterative algorithms for their numerical solution. These algorithms are generalizations of particular algorithms described by Barr and Gilbert [19], [21] and Fujisawa and Yasuda [22]. The supporting theory is fully developed along with proofs of convergence. Practical aspects of computations are considered and procedures which insure rapid convergence are discussed. Two applications to discrete-time optimal control problems are described.
暂无评论