Talk:List of commercial tools for logic synthesis