In computer engineering, logic synthesis is a process by which an abstract specification of desired circuit behavior, typically at register transfer level, is turned into a design implementation in terms of logic gates, typically by a computer... Wikipedia