Synopsys was founded in December 1986 (called Optimal Solutions until 1987) and is a market leader in electronic design automation 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 intellectual property 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 nontraditional "systems" users (nonsemiconductor firms interested in chip design) given the development of the Internet of Things, artificial intelligence, autonomous vehicles, and cloud computing.