Synopsys is a provider of tools used in the design of an application-specific integrated circuit. Products include logic synthesis, behavioral synthesis, place and route, static timing analysis, formal verification, hardware description language simulators as well as transistor-level circuit simulation.