%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
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