Keyword : logic%20synthesis