Synopsys Tools

There are many of these: