Tag: logic synthesis book