June Startup Funding


During the month of June, there were 15 startups that brought in funding rounds of $100 million or more, as investors continued to chase deals in cybersecurity, automotive technology, semiconductors, and a variety of services. There were no billion-dollar deals as spring slid into summer; yet, those 15 companies together raised a total of about $3.13 billion. Aurora Innovation, the developer... » read more

Formal Abstraction And Coverage


For the past three years, Oski Technology has facilitated a gathering of formal verification experts over dinner to discuss the problems and issues that they face. They discuss techniques they have been attempting with formal verification technologies, along with the results they have been achieving. Semiconductor Engineering was there to record that conversation and to condense it into the ... » read more