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:
“I know no East or West, North or South, when it comes to my class fighting the battle for justice. If it is my fortune to live to see the industrial chain broken from every workingman’s child in America, and if then there is one black child in Africa in bondage, there shall I go.”
—Mother Jones (1830–1930)
“Nearly all the Escapists in the long past have managed their own budget and their social relations so unsuccessfully that I wouldn’t want them for my landlords, or my bankers, or my neighbors. They were valuable, like powerful stimulants, only when they were left out of the social and industrial routine.”
—Willa Cather (1876–1947)