RESOURCES ON LOGIC SYNTHESIS.