Interrelations between logic synthesis and different CAD specialties such as testing, delay analysis/testing, verification, and software compilation will be developed.