Industrial Uses
Commercial use of automated theorem proving is mostly concentrated in integrated circuit design and verification. Since the Pentium FDIV bug, the complicated floating point units of modern microprocessors have been designed with extra scrutiny. Nowadays, AMD, Intel and others use automated theorem proving to verify that division and other operations are correctly implemented in their processors.
Read more about this topic: Automated Theorem Proving
Famous quotes containing the word industrial:
“Revolution? Unscrew the flag-staff, wrap the bunting in the oil covers, and put the thing in the clothes-chest. Let the old lady bring you your house-slippers and untie your fiery red necktie. You always make revolutions with your mugs, your republic—nothing but an industrial accident.”
—Alfred Döblin (1878–1957)
“Your organization is not a praying institution. It’s a fighting institution. It’s an educational institution right along industrial lines. Pray for the dead and fight like hell for the living!”
—Mother Jones (1830–1930)