WoTUG - The place for concurrent processes

Paper Details

  title = "{F}ormal methods in the design of the {T}9000",
  author= "Barrett, Geoff and May, David and Shepard, D.",
  editor= "Allen, Alastair R.",
  pages = "187--204",
  booktitle= "{P}roceedings of {W}o{TUG}-15: {T}ransputer {S}ystems - ongoing {R}esearch",
  isbn= "90 5199 085 5",
  year= "1992",
  month= "mar",
  abstract= "The complexity of integrated circuits continues to grow, and
     chips with over 100,000,000 transistors will be in
     widespread use by the late 1990s. These chips will combine
     general purpose processors with subsystems for
     communications and other specialised tasks. They will be far
     too complex for the design to be tested, and manufacturing
     volumes will be far too high for the design to be
     wrong!Mathematical techniques have already been applied to
     the design of parts of VLSI chips. Most of this work is
     experimental, and requires an unusual combination of
     engineering, mathematical and programming skills. Sometimes
     new theoretical work is needed, and specialised tools may
     have to be constructed. Despite these difficulties,
     mathematical techniques are playing an important role in the
     design of microprocessors at INMOS and techniques suitable
     for incorporation in standard computer-aided design systems
     are emerging."

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.

Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org

Valid HTML 4.01!