Title :
Design by calculation and proof
Author_Institution :
Comput. Lab., Oxford Univ., UK
Abstract :
Expounds a philosophy of engineering design which is stimulated, guided and checked by mathematical calculations and proofs. The philosophy is illustrated by a familiar example, the design of a hardware circuit for addition of natural numbers in binary representation
Keywords :
design engineering; engineering computing; programming theory; calculations; engineering design; hardware design; proofs;
Conference_Titel :
Design and Application of Parallel Digital Processors, 1988., International Specialist Seminar on the
Conference_Location :
Lisbon
Print_ISBN :
0-85296-366-1
