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:
“Christianity as an organized religion has not always had a harmonious relationship with the family. Unlike Judaism, it kept almost no rituals that took place in private homes. The esteem that monasticism and priestly celibacy enjoyed implied a denigration of marriage and parenthood.”
—Beatrice Gottlieb, U.S. historian. The Family in the Western World from the Black Death to the Industrial Age, ch. 12, Oxford University Press (1993)
“The two most far-reaching critical theories at the beginning of the latest phase of industrial society were those of Marx and Freud. Marx showed the moving powers and the conflicts in the social-historical process. Freud aimed at the critical uncovering of the inner conflicts. Both worked for the liberation of man, even though Marx’s concept was more comprehensive and less time-bound than Freud’s.”
—Erich Fromm (1900–1980)