@InProceedings{BarrettMay92,
  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."
}