Paper Details

%T Formal methods in the design of the T9000
%A Geoff Barrett, David May, D. Shepard
%E Alastair R. Allen
%B Proceedings of WoTUG\-15: Transputer Systems \- ongoing Research
%X 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.