Table-lookup synthesis