Design by calculation and proof

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.<
>