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:
“Coal is a portable climate. It carries the heat of the tropics to Labrador and the polar circle; and it is the means of transporting itself whithersoever it is wanted. Watt and Stephenson whispered in the ear of mankind their secret, that a half-ounce of coal will draw two tons a mile, and coal carries coal, by rail and by boat, to make Canada as warm as Calcutta, and with its comfort brings its industrial power.”
—Ralph Waldo Emerson (1803–1882)
“... men and women are not yet free.... The slavery of greed endures. Little child workers, the hope of the future, are sacrificed to industry. Young men are sent out by the billion to die for profits.... We must destroy industrial slavery and build industrial democracy.... The people everywhere must come into possession of the earth [second, third, and fourth ellipses in source].”
—Sara Bard Field (1882–1974)