Tag: logic synthesis algorithms