Author's Latest Posts


Formal Verification Of AI Processor Datapaths In Automotive Applications


There aren’t many electronic applications that require correctness, safety, and security more than automobiles and other road vehicles. Owners rely on their cars operating properly and reliably at all times. The very lives of drivers, passengers, and those nearby are at risk if a vehicle misbehaves. The situation grows more serious with every innovation in automotive electronics. With a mo... » read more