Use of Formal Methods by a Silicon Manufacturer (1988)