Donald D. Givone

Learn More
Robert P. Roesser (S’67-M69) was born p Bradford, Pa., on August 1, 1942. He received the B.S., MS., and Ph.D. degrees all in electrical engineering from the State University of New York at Buffalo, Buffalo, N.Y., in 1964, 1967, and 1970, respectively. While at Buffalo he held a Graduate Assistantship, teaching various laboratory courses in the Department(More)
An efficient method for constructing checking sequences for strongly connected reduced, synchronous, completely specified, deterministic, sequential machines possessing linking homing sequences (LHS) has been de­ scribed [7]. For machines not possessing an LHS, the only method for con­ structing a checking sequence requires the use of locating sequences(More)
A syntax directed compiler to simulate digital systems is described. The compiler has been written in Fortran IV for the IBM 7044, and is capable of simulating digital systems containing up to approximately 2500 logic elements. It is a two pass compiler. During the first pass it scans the source statements by using the Backus Normal Form definition of(More)
  • 1