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:
“The industrial world would be a more peaceful place if workers were called in as collaborators in the process of establishing standards and defining shop practices, matters which surely affect their interests and well-being fully as much as they affect those of employers and consumers.”
—Mary Barnett Gilson (1877–?)
“Dead power is everywhere among us—in the forest, chopping down the songs; at night in the industrial landscape, wasting and stiffening the new life; in the streets of the city, throwing away the day. We wanted something different for our people: not to find ourselves an old, reactionary republic, full of ghost-fears, the fears of death and the fears of birth. We want something else.”
—Muriel Rukeyser (1913–1980)