Cadd - On-line synthesis of logic circuits