Edward Westbrook Veitch
Born(1924-11-04)4 November 1924
Died23 December 2013(2013-12-23) (aged 89)
CitizenshipAmerican
Alma materHarvard University
Known foroptimization of digital circuits
Scientific career
FieldsComputer science

Edward Westbrook Veitch (4 November 1924 – 23 December 2013[1]) was an American computer scientist. He graduated from Harvard University in 1946 with a degree in Physics, followed by graduate degrees from Harvard in Physics and Applied Physics in 1948 and 1949 respectively. In his 1952 paper "A Chart Method for Simplifying Truth Functions",[2] Veitch described a graphical procedure for the optimization of logic circuits, which is referred to as Veitch chart. A year later (in 1953), the method was refined in a paper by Maurice Karnaugh[3] into what became known as Karnaugh map (K-map) or Karnaugh–Veitch map (KV-map).

Later reflections on the diagram's design

Veitch wrote about the development of the Veitch diagram and its interpretation:

  • The problem is how to depict a Boolean function of n variables so the human eye can easily see how to simplify the function.
    • A function of four variables has sixteen input combinations and the diagram has sixteen different squares to be filled from the truth table that defines the function.
    • The primary difference between the Veitch and Karnaugh versions is that the Veitch diagram presents the data in the binary sequence used in the truth table while the Karnaugh map interchanges the third and fourth rows and the third and fourth columns.
    • The general digital computer community chose the Karnaugh approach. Veitch accepted this decision, even though in early 1952, before his presentation, he had almost changed to that approach but decided against it. A few years later several textbooks described the K-map, a few of them designating it a Veitch diagram.

The original Veitch diagram

It was known that one way to represent the function was as points on the corners of an n-dimensional cube. Two adjacent corners such as the two on the upper right could be defined as the upper right corners and the four corners on the front of the cube could be defined as the front corners. For four, five, or six variables the problem becomes more complicated.

Depicting a multi-dimensional cube on a flat diagram that makes it easy to see these relationships:

  • For three dimensions, Veitch drew a 2×2 set of squares for the top of the cube and a second set for the bottom of the cube with a small space between the two sets of squares. Within the 2×2 set on the top the simplification groups are any horizontal or vertical pair or all of the four cells. The only adjacencies between the top and bottom sets are a one-to-one connection between each square of the top set and corresponding cell of the bottom set. A similar rule applies to the four variable cases, which is sometimes drawn as a cube inside of another cube with corresponding corners all connected.
  • The four variable Veitch diagram would then be four 2×2 sets in a larger square with a small space between each pair of sets. Thus a horizontal pair in the top left set can combine with a matching pair in the bottom left set or with the top right set or possibly with all four sets to make an eight cell group.
  • For five variables or six variables the same rule applies. The five variable diagram consists of two four variable diagrams drawn next to each other with a larger space between them. Matches between the two four variable diagrams are between cells that are next to each other when one map is overlaid over the other.

In a last minute change before his presentation Veitch removed the spacing between the 2×2 cell groups. This was a poor decision because it made it more difficult for the user to grasp the overall structure of the function, as well as the rules Veitch used in recognizing simplifications. In his last years before his death in 2013,[1] Veitch learned from solving Sudoku puzzles that spaces or heavy lines between groups of boxes can be very helpful especially if one has poor eyesight, such as Veitch had.

References

  1. 1 2 "Edward Westbrook Veitch" (Obituary). Main Line Media News. 2014-01-06. Archived from the original on 2015-12-22. Retrieved 2015-01-22.
  2. Veitch, Edward Westbrook (1952-05-03) [1952-05-02]. "A Chart Method for Simplifying Truth Functions". Transactions of the 1952 ACM Annual Meeting. ACM Annual Conference/Annual Meeting: Proceedings of the 1952 ACM Annual Meeting (Pittsburgh, Pennsylvania, USA). New York, USA: Association for Computing Machinery (ACM): 127–133. doi:10.1145/609784.609801. S2CID 17284651.
  3. Karnaugh, Maurice (November 1953) [1953-04-23, 1953-03-17]. "The Map Method for Synthesis of Combinational Logic Circuits" (PDF). Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics. 72 (5): 593–599. doi:10.1109/TCE.1953.6371932. S2CID 51636736. Paper 53-217. Archived from the original (PDF) on 2017-04-16. Retrieved 2017-04-16.

Further reading

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.