Synopsys was founded in December 1986 (was called Optimal Solutions until 1987) and is a market leader in electronic design automation, or EDA, software. EDA is used to automate the design and verification of integrated circuits or larger chip systems. The firm provides an end-to-end workflow of EDA products. In addition, the firm offers a broad set of design IP and leading software integrity tools that help customers develop secure, quality code. Historically, the firm's tools have been relied upon by semiconductor firms, but there has been a shift toward other non-traditional "systems" users (non-semiconductor firms interested in chip design) given the development of the Internet of Things, artificial intelligence, autonomous vehicles, and cloud computing.